@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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,}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
The metadata provided by Dagstuhl Publishing on its webpages, as well as their export formats (such as XML or BibTeX) available at our website, is released under the CC0 1.0 Public Domain Dedication license. That is, you are free to copy, distribute, use, modify, transform, build upon, and produce derived works from our data, even for commercial purposes, all without asking permission. Of course, we are always happy if you provide a link to us as the source of the data.
Read the full CC0 1.0 legal code for the exact terms that apply: https://creativecommons.org/publicdomain/zero/1.0/legalcode
Feedback for Dagstuhl Publishing