Published in: Dagstuhl Seminar Proceedings, Volume 6271, Challenges in Symbolic Computation Software (2006)
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} }
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)
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} }
Published in: Dagstuhl Seminar Proceedings, Volume 6271, Challenges in Symbolic Computation Software (2006)
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} }
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)
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,} }
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)
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} }
Published in: Dagstuhl Seminar Proceedings, Volume 6271, Challenges in Symbolic Computation Software (2006)
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} }
Published in: Dagstuhl Seminar Proceedings, Volume 6271, Challenges in Symbolic Computation Software (2006)
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} }
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} }
Published in: Dagstuhl Seminar Proceedings, Volume 6271, Challenges in Symbolic Computation Software (2006)
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} }
Feedback for Dagstuhl Publishing