Dagstuhl Seminar Proceedings, Volume 6271,

• Wolfram Decker, Mike Dewar, Erich Kaltofen, and Stephen M. Watt 06271 Abstracts Collection – Challenges in Symbolic Computation Software 10.4230/DagSemProc.06271.1
• Wolfram Decker, Mike Dewar, Erich Kaltofen, and Stephen M. Watt 06271 Executive Summary - Challenges in Symbolic Computation Software 10.4230/DagSemProc.06271.2
• Jean-Guillaume Dumas, Clément Pernet, and Jean-Louis Roch Adaptive Triangular System Solving 10.4230/DagSemProc.06271.3
• Marc Moreno Maza, Oleg Golubitsky, Marina V. Kondratieva, and Alexey Ovchinnikov Bounds and algebraic algorithms in differential algebra: the ordinary case 10.4230/DagSemProc.06271.4
• John Abbott Challenges in Computational Commutative Algebra 10.4230/DagSemProc.06271.5
• Santiago Laplagne Computation of the Minimal Associated Primes 10.4230/DagSemProc.06271.6
• Anne Frühbis-Krüger Computational Aspects of the Resolution of Singularities 10.4230/DagSemProc.06271.7
• Thomas J. Ashby, Anthony D. Kennedy, and Stephen M. Watt Coxeter Lattice Paths 10.4230/DagSemProc.06271.8
• Xiao-Shan Gao and Mingbo Zhang Decomposition of Differential Polynomials 10.4230/DagSemProc.06271.9
• Joris van der Hoeven GNU TeXmacs 10.4230/DagSemProc.06271.10
• George Labahn, Scott MacLean, Marzouk Mirette, Ian Rutherford, and David Tausky MathBrush: An Experimental Pen-Based Math System 10.4230/DagSemProc.06271.11
• Arne Storjohann Notes on computing minimal approximant bases 10.4230/DagSemProc.06271.12
• Stephen M. Watt Pivot-Free Block Matrix Inversion 10.4230/DagSemProc.06271.13
• Mark Giesbrecht, George Labahn, and Wen-Shin Lee Probabilistically Stable Numerical Sparse Polynomial Interpolation 10.4230/DagSemProc.06271.14
• Stephen M. Watt Two Families of Algorithms for Symbolic Polynomials 10.4230/DagSemProc.06271.15
• Eric Schost, Alin Bostan, and Claude-Pierre Jeannerod Using fast matrix multiplication to solve structured linear systems 10.4230/DagSemProc.06271.16