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} }
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} }
Jean-Guillaume Dumas, Clément Pernet, and Jean-Louis Roch. Adaptive Triangular System Solving. In Challenges in Symbolic Computation Software. Dagstuhl Seminar Proceedings, Volume 6271, pp. 1-18, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (2006)
@InProceedings{dumas_et_al:DagSemProc.06271.3, author = {Dumas, Jean-Guillaume and Pernet, Cl\'{e}ment and Roch, Jean-Louis}, title = {{Adaptive Triangular System Solving}}, booktitle = {Challenges in Symbolic Computation Software}, pages = {1--18}, 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.3}, URN = {urn:nbn:de:0030-drops-7704}, doi = {10.4230/DagSemProc.06271.3}, annote = {Keywords: Adaptive and hybrid algorithms; triangular system solving; parallel and sequential degenerations} }
Marc Moreno Maza, Oleg Golubitsky, Marina V. Kondratieva, and Alexey Ovchinnikov. Bounds and algebraic algorithms in differential algebra: the ordinary case. In Challenges in Symbolic Computation Software. Dagstuhl Seminar Proceedings, Volume 6271, pp. 1-9, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (2007)
@InProceedings{morenomaza_et_al:DagSemProc.06271.4, author = {Moreno Maza, Marc and Golubitsky, Oleg and Kondratieva, Marina V. and Ovchinnikov, Alexey}, title = {{Bounds and algebraic algorithms in differential algebra: the ordinary case}}, booktitle = {Challenges in Symbolic Computation Software}, pages = {1--9}, series = {Dagstuhl Seminar Proceedings (DagSemProc)}, ISSN = {1862-4405}, year = {2007}, 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.4}, URN = {urn:nbn:de:0030-drops-10219}, doi = {10.4230/DagSemProc.06271.4}, annote = {Keywords: Differential algebra, Rosenfeld Groebner Algorithm} }
John Abbott. Challenges in Computational Commutative Algebra. In Challenges in Symbolic Computation Software. Dagstuhl Seminar Proceedings, Volume 6271, pp. 1-12, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (2006)
@InProceedings{abbott:DagSemProc.06271.5, author = {Abbott, John}, title = {{Challenges in Computational Commutative Algebra}}, booktitle = {Challenges in Symbolic Computation Software}, pages = {1--12}, 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.5}, URN = {urn:nbn:de:0030-drops-7682}, doi = {10.4230/DagSemProc.06271.5}, annote = {Keywords: Academic recognition implementation OpenMath CoCoA} }
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} }
Anne Frühbis-Krüger. Computational Aspects of the Resolution of Singularities. In Challenges in Symbolic Computation Software. Dagstuhl Seminar Proceedings, Volume 6271, pp. 1-8, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (2006)
@InProceedings{fruhbiskruger:DagSemProc.06271.7, author = {Fr\"{u}hbis-Kr\"{u}ger, Anne}, title = {{Computational Aspects of the Resolution of Singularities}}, booktitle = {Challenges in Symbolic Computation Software}, pages = {1--8}, 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.7}, URN = {urn:nbn:de:0030-drops-7713}, doi = {10.4230/DagSemProc.06271.7}, annote = {Keywords: Resolution of Singularities, algorithmic desingularization,} }
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} }
Xiao-Shan Gao and Mingbo Zhang. Decomposition of Differential Polynomials. In Challenges in Symbolic Computation Software. Dagstuhl Seminar Proceedings, Volume 6271, pp. 1-10, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (2006)
@InProceedings{gao_et_al:DagSemProc.06271.9, author = {Gao, Xiao-Shan and Zhang, Mingbo}, title = {{Decomposition of Differential Polynomials}}, booktitle = {Challenges in Symbolic Computation Software}, pages = {1--10}, 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.9}, URN = {urn:nbn:de:0030-drops-7726}, doi = {10.4230/DagSemProc.06271.9}, annote = {Keywords: Decomposition, differential polynomial, difference polynomial} }
Joris van der Hoeven. GNU TeXmacs. In Challenges in Symbolic Computation Software. Dagstuhl Seminar Proceedings, Volume 6271, pp. 1-3, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (2006)
@InProceedings{vanderhoeven:DagSemProc.06271.10, author = {van der Hoeven, Joris}, title = {{GNU TeXmacs}}, booktitle = {Challenges in Symbolic Computation Software}, pages = {1--3}, 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.10}, URN = {urn:nbn:de:0030-drops-7672}, doi = {10.4230/DagSemProc.06271.10}, annote = {Keywords: Scientific text editor, Mathematics, Computer algebra system, Front-end} }
George Labahn, Scott MacLean, Marzouk Mirette, Ian Rutherford, and David Tausky. MathBrush: An Experimental Pen-Based Math System. In Challenges in Symbolic Computation Software. Dagstuhl Seminar Proceedings, Volume 6271, pp. 1-8, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (2006)
@InProceedings{labahn_et_al:DagSemProc.06271.11, author = {Labahn, George and MacLean, Scott and Marzouk Mirette and Rutherford, Ian and Tausky, David}, title = {{MathBrush: An Experimental Pen-Based Math System}}, booktitle = {Challenges in Symbolic Computation Software}, pages = {1--8}, 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.11}, URN = {urn:nbn:de:0030-drops-7733}, doi = {10.4230/DagSemProc.06271.11}, annote = {Keywords: PC Tablets, pen-based devices, computer algebra systems} }
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} }
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} }
Mark Giesbrecht, George Labahn, and Wen-Shin Lee. Probabilistically Stable Numerical Sparse Polynomial Interpolation. In Challenges in Symbolic Computation Software. Dagstuhl Seminar Proceedings, Volume 6271, pp. 1-11, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (2006)
@InProceedings{giesbrecht_et_al:DagSemProc.06271.14, author = {Giesbrecht, Mark and Labahn, George and Lee, Wen-Shin}, title = {{Probabilistically Stable Numerical Sparse Polynomial Interpolation}}, booktitle = {Challenges in Symbolic Computation Software}, pages = {1--11}, 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.14}, URN = {urn:nbn:de:0030-drops-7759}, doi = {10.4230/DagSemProc.06271.14}, annote = {Keywords: Symbolic-numeric computing, multivariate interpolation, sparse polynomial} }
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} }
Eric Schost, Alin Bostan, and Claude-Pierre Jeannerod. Using fast matrix multiplication to solve structured linear systems. In Challenges in Symbolic Computation Software. Dagstuhl Seminar Proceedings, Volume 6271, pp. 1-5, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (2006)
@InProceedings{schost_et_al:DagSemProc.06271.16, author = {Schost, Eric and Bostan, Alin and Jeannerod, Claude-Pierre}, title = {{Using fast matrix multiplication to solve structured linear systems}}, booktitle = {Challenges in Symbolic Computation Software}, pages = {1--5}, 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.16}, URN = {urn:nbn:de:0030-drops-7787}, doi = {10.4230/DagSemProc.06271.16}, annote = {Keywords: Structured matrices, matrix multiplication, Hermite-Pade, bivariate interpolation} }
Feedback for Dagstuhl Publishing