
Contributions
Next to the three invited talks there are 46 contributions:
 CAD via Numerical Computation with Validated Symbolic Reconstruction
by H. Anai, K. Yokoyama
 Prime Polynomials
by M. Ayad
 Practical Simplification of Elementary Functions Using CAD
by J. C. Beaumont, N. Phisanbut, R. Bradford
 Factorization of Some Second Order Differential Equations
by L. M. Berkovich, E. F. L. Berkovitch
 From Projective Morphisms to Blowups
by G. Bodnar
 Quantifier Elimination and Ellipticity of PDEs
by C. W. Brown, S. de Vlaming, G. Nakos
 Algorithmic Methods for Investigating Equilibria
by C. W. Brown, M. El Kahoui, D. Novotni, A. Weber
 Approximate Rings and Gröbner Bases
by P. Conti, C. Traverso
 Fast Computation of ClebschGordan Coefficients
by J. De Loera, T. McAllister
 Galois Theory, Splitting Fields, and Computer Algebra
by G. DiazToca
 On a Conjecture About Univariate Polynomials and Their Roots
by G. DiazToca, L. GonzalezVega
 Classifying Mathematical Web Content
by D. Draheim, W. Neun, D. Suliman
 Computing the Intersection of Two Ruled Surfaces
by M. Fioravanti, L. GonzalezVega, I. Necula
 Experimental Analysis of Involutive Criteria
by V. P. Gerdt, D. A. Yanovich
 Minkowski's Conjecture and Quantifier Elimination
by N. Glazunov
 Visualization of SAGBI Bases for Parameterized Linear Subalgebras
by M. Göbel
 Quantifier Elimination in Automatic Loop Parallelization
by A. Größlinger, M. Griebl, C. Lengauer
 Computation of Unirational Fields
by J. Gutierrez, D. Sevilla
 The Art of Formula
by D. J. Jeffrey
 A Systems Perspective on A3L
by H. Kredel
 Canonical Hardware Representation Using Gröbner Bases
by W. Küchlin
 A Topological Criterion for Polynomiality
by G. Landsmann, P. Mayr, J. Schicho
 Improving the DISPGB Algorithm Using the Discriminant Ideal
by M. Manubens, A. Montes
 Rambling on Weispfenning, Montes, Gianni, and Kronecker
by M. G. Marinari, T. Mora
 A Computation Method for ACGBV
by K. Nabeshima
 Thirty Years of Lisp Support for REDUCE
by A. C. Norman
 Approximately Parameterizing Algebraic Curves and Surfaces
by S. PerezDyaz, J. Sendra, J. R. Sendra
 Gröbner Bases in Skew Polynomial Rings
by M. Pesch
 The Symmetric SubsetSum Problem over the Complex Numbers
by M. Prunescu
 Discrete Rotation Maps and Generalized Continued Fractions
by L. Pustylnikov, T. Lokot, R. Pustylnikov
 Solving Undecidable Problems
by S. Ratschan
 Gröbner Bases in Function Rings
by B. Reinert
 Stability of Gröbner Bases and ACGB
by Y. Sato
 Characteristics of Involutive Divisions
by A. Semenov
 Quantifier Elimination and Information Flow Control for Software Security
by G. Snelting
 Solving Equations and Inequalities in Mathematica
by A. W. Strzebonski
 Full Comprehensive Gröbner Bases
by A. Suzuki
 On the Degeneracy Conditions of Singularities by Using CGBs
by T. Takahashi, K. Nagasaka
 Gröbner Bases in Elimination Theory
by P. Ullrich
 A Note on Definable Operators on Structures
by H. Volger
 Projection Property of Regular Systems
by D. Wang
 SyNRAC: A Maple Toolbox for Solving Real Algebraic Constraints
by H. Yanami, H. Anai
 Real Solution Classification for Parametric SemiAlgebraic Systems
by L. Yang, B. Xia
 High Noon
by D. D. Zaster
 Differential Elimination Methods and Hilbert's Nullstellensatz in PDEs
by H. Zhang
 Some Results on Differential Gröbner Bases
by A. Zobnin

