Published in: Dagstuhl Seminar Proceedings, Volume 6271, Challenges in Symbolic Computation Software (2006)
Stephen M. Watt. Two Families of Algorithms for Symbolic Polynomials. In Challenges in Symbolic Computation Software. Dagstuhl Seminar Proceedings, Volume 6271, pp. 1-20, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2006)
@InProceedings{watt:DagSemProc.06271.15, author = {Watt, Stephen M.}, title = {{Two Families of Algorithms for Symbolic Polynomials}}, booktitle = {Challenges in Symbolic Computation Software}, pages = {1--20}, series = {Dagstuhl Seminar Proceedings (DagSemProc)}, ISSN = {1862-4405}, year = {2006}, volume = {6271}, editor = {Wolfram Decker and Mike Dewar and Erich Kaltofen and Stephen Watt}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.06271.15}, URN = {urn:nbn:de:0030-drops-7933}, doi = {10.4230/DagSemProc.06271.15}, annote = {Keywords: Computer algebra, symbolic computation, factorization, gcd, symbolic exponents} }
Published in: Dagstuhl Seminar Proceedings, Volume 6271, Challenges in Symbolic Computation Software (2006)
Wolfram Decker, Mike Dewar, Erich Kaltofen, and Stephen M. Watt. 06271 Abstracts Collection – Challenges in Symbolic Computation Software. In Challenges in Symbolic Computation Software. Dagstuhl Seminar Proceedings, Volume 6271, pp. 1-16, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2006)
@InProceedings{decker_et_al:DagSemProc.06271.1, author = {Decker, Wolfram and Dewar, Mike and Kaltofen, Erich and Watt, Stephen M.}, title = {{06271 Abstracts Collection – Challenges in Symbolic Computation Software}}, booktitle = {Challenges in Symbolic Computation Software}, pages = {1--16}, series = {Dagstuhl Seminar Proceedings (DagSemProc)}, ISSN = {1862-4405}, year = {2006}, volume = {6271}, editor = {Wolfram Decker and Mike Dewar and Erich Kaltofen and Stephen Watt}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.06271.1}, URN = {urn:nbn:de:0030-drops-7814}, doi = {10.4230/DagSemProc.06271.1}, annote = {Keywords: Symbolic computation, computer algebra, computational algebraic geometry, combinatorial methods in algebra, hybrid, symbolic-numerical methods, algorithm design, symbolic computation languages, systems and user interfaces} }
Published in: Dagstuhl Seminar Proceedings, Volume 6271, Challenges in Symbolic Computation Software (2006)
Stephen M. Watt. Pivot-Free Block Matrix Inversion. In Challenges in Symbolic Computation Software. Dagstuhl Seminar Proceedings, Volume 6271, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2006)
@InProceedings{watt:DagSemProc.06271.13, author = {Watt, Stephen M.}, title = {{Pivot-Free Block Matrix Inversion}}, booktitle = {Challenges in Symbolic Computation Software}, series = {Dagstuhl Seminar Proceedings (DagSemProc)}, ISSN = {1862-4405}, year = {2006}, volume = {6271}, editor = {Wolfram Decker and Mike Dewar and Erich Kaltofen and Stephen Watt}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.06271.13}, URN = {urn:nbn:de:0030-drops-7806}, doi = {10.4230/DagSemProc.06271.13}, annote = {Keywords: Linear algebra, block matrices, matrix inverse} }
Published in: Dagstuhl Seminar Proceedings, Volume 6271, Challenges in Symbolic Computation Software (2006)
Wolfram Decker, Mike Dewar, Erich Kaltofen, and Stephen M. Watt. 06271 Executive Summary - Challenges in Symbolic Computation Software. In Challenges in Symbolic Computation Software. Dagstuhl Seminar Proceedings, Volume 6271, pp. 1-2, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2006)
@InProceedings{decker_et_al:DagSemProc.06271.2, author = {Decker, Wolfram and Dewar, Mike and Kaltofen, Erich and Watt, Stephen M.}, title = {{06271 Executive Summary - Challenges in Symbolic Computation Software}}, booktitle = {Challenges in Symbolic Computation Software}, pages = {1--2}, series = {Dagstuhl Seminar Proceedings (DagSemProc)}, ISSN = {1862-4405}, year = {2006}, volume = {6271}, editor = {Wolfram Decker and Mike Dewar and Erich Kaltofen and Stephen Watt}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.06271.2}, URN = {urn:nbn:de:0030-drops-7778}, doi = {10.4230/DagSemProc.06271.2}, annote = {Keywords: Symbolic computation, computer algebra, computational algebraic geometry, combinatorial methods in algebra, hybrid symbolic-numerical methods, algori} }
Published in: Dagstuhl Seminar Proceedings, Volume 6271, Challenges in Symbolic Computation Software (2006)
Santiago Laplagne. Computation of the Minimal Associated Primes. In Challenges in Symbolic Computation Software. Dagstuhl Seminar Proceedings, Volume 6271, pp. 1-6, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2006)
@InProceedings{laplagne:DagSemProc.06271.6, author = {Laplagne, Santiago}, title = {{Computation of the Minimal Associated Primes}}, booktitle = {Challenges in Symbolic Computation Software}, pages = {1--6}, series = {Dagstuhl Seminar Proceedings (DagSemProc)}, ISSN = {1862-4405}, year = {2006}, volume = {6271}, editor = {Wolfram Decker and Mike Dewar and Erich Kaltofen and Stephen Watt}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.06271.6}, URN = {urn:nbn:de:0030-drops-7741}, doi = {10.4230/DagSemProc.06271.6}, annote = {Keywords: Minimal associated primes, groebner basis, polynomail equations, radical} }
Published in: Dagstuhl Seminar Proceedings, Volume 6271, Challenges in Symbolic Computation Software (2006)
Thomas J. Ashby, Anthony D. Kennedy, and Stephen M. Watt. Coxeter Lattice Paths. In Challenges in Symbolic Computation Software. Dagstuhl Seminar Proceedings, Volume 6271, pp. 1-14, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2006)
@InProceedings{ashby_et_al:DagSemProc.06271.8, author = {Ashby, Thomas J. and Kennedy, Anthony D. and Watt, Stephen M.}, title = {{Coxeter Lattice Paths}}, booktitle = {Challenges in Symbolic Computation Software}, pages = {1--14}, series = {Dagstuhl Seminar Proceedings (DagSemProc)}, ISSN = {1862-4405}, year = {2006}, volume = {6271}, editor = {Wolfram Decker and Mike Dewar and Erich Kaltofen and Stephen Watt}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.06271.8}, URN = {urn:nbn:de:0030-drops-7695}, doi = {10.4230/DagSemProc.06271.8}, annote = {Keywords: Parallel computing, code generation, Coxeter groups, regular lattices, lattice paths, path optimisation} }
Published in: Dagstuhl Seminar Proceedings, Volume 6271, Challenges in Symbolic Computation Software (2006)
Arne Storjohann. Notes on computing minimal approximant bases. In Challenges in Symbolic Computation Software. Dagstuhl Seminar Proceedings, Volume 6271, pp. 1-6, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2006)
@InProceedings{storjohann:DagSemProc.06271.12, author = {Storjohann, Arne}, title = {{Notes on computing minimal approximant bases}}, booktitle = {Challenges in Symbolic Computation Software}, pages = {1--6}, series = {Dagstuhl Seminar Proceedings (DagSemProc)}, ISSN = {1862-4405}, year = {2006}, volume = {6271}, editor = {Wolfram Decker and Mike Dewar and Erich Kaltofen and Stephen Watt}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.06271.12}, URN = {urn:nbn:de:0030-drops-7763}, doi = {10.4230/DagSemProc.06271.12}, annote = {Keywords: Hermite Pade approximation, minimal approximant bases} }