Abstract is missing.
- Geometric Radicals of Polynomial IdealsEberhard Becker. 1-2
- Volker Weispfenning: Scientist, Teacher, MentorThomas Becker. 3-18
- REDUCE: The First Forty YearsAnthony C. Hearn. 19-24
- Cylindrical Algebraic Decomposition via Numerical Computation with Validated Symbolic ReconstructionHirokazu Anai, Kazuhiro Yokoyama. 25-30
- Prime PolynomialsMohamed Ayad. 31-33
- Practical Simplification of Elementary Functions Using CADJames C. Beaumont, Nalina Phisanbut, Russell J. Bradford. 35-39
- An Algorithm for Factorization of Some Second Order Differential EquationsLev M. Berkovich, Ephraim Fedor L. Berkovitch. 41-47
- Computing Centers of Blowups for Birational Projective Morphisms of VarietiesGábor Bodnár. 49-53
- Quantifier Elimination and the Ellipticity of Systems of Partial Differential EquationsChristopher W. Brown, Sjaak de Vlaming, George Nakos. 55-58
- Algorithmic Methods for Investigating Equilibria in Epidemic ModelingChristopher W. Brown, M hammed El Kahoui, Dominik Novotni, Andreas Weber. 59-63
- Approximate Rings and Gröbner BasesPasqualina Conti, Carlo Traverso. 65-70
- Fast Computation of Clebsch-Gordan CoefficientsJesús A. De Loera, Tyrrell B. McAllister. 71-75
- Galois Theory, Splitting Fields, and Computer AlgebraGema M. Diaz-Toca. 77-81
- On a Conjecture About Univariate Polynomials and Their RootsGema M. Diaz-Toca, Laureano González-Vega. 83-90
- Employing Computer Algebra for Classifying Mathematical Web ContentDirk Draheim, Winfried Neun, Dima Suliman. 91-94
- Computing the Intersection of Two Ruled Surfaces by Using a New Algebraic ApproachMario Fioravanti, Laureano González-Vega, Ioana Necula. 95-103
- Experimental Analysis of Involutive CriteriaVladimir P. Gerdt, Denis A. Yanovich. 105-109
- Minkowski's Conjecture on Critical Lattices and Quantifier EliminationNikolaj Glazunov. 111-114
- Continuous Visualization of SAGBI Bases for Parameterized Linear SubalgebrasManfred Göbel. 115-121
- Quantifier Elimination in Automatic Loop ParallelizationArmin Größlinger, Martin Griebl, Christian Lengauer. 123-128
- Computation of Unirational FieldsJaime Gutierrez, David Sevilla. 129-134
- The Art of FormulaDavid J. Jeffrey. 135-139
- A Systems Perspective on A3LHeinz Kredel. 141-145
- Canonical Hardware Representation Using Gröbner BasesWolfgang Küchlin. 147-154
- A Topological Criterion for PolynomialityGünter Landsmann, Peter Mayr, Josef Schicho. 155-158
- Improving the DISPGB Algorithm Using the Discriminant IdealMontserrat Manubens, Antonio Montes. 159-166
- Rambling on Weispfenning, Montes, Gianni, and KroneckerMaria Grazia Marinari, Teo Mora. 167-172
- A Computation Method for ACGB-VKatsusuke Nabeshima. 173-180
- Thirty Years of Lisp Support for REDUCEArthur C. Norman. 181-186
- The Challenge of Approximately Parameterizing Algebraic Curves and SurfacesSonia Pérez-Díaz, Juana Sendra, J. Rafael Sendra. 187-194
- Gröbner Bases in Skew Polynomial RingsMichael Pesch. 195-199
- The Symmetric Subset-Sum Problem over the Complex NumbersMihai Prunescu. 201-206
- Discrete Rotation Maps and Generalized Continued FractionsLev D. Pustylnikov, Tatiana Lokot, Roman L. Pustylnikov. 207-211
- Solving Undecidable Problems in the Theory of Real Numbers and Hybrid SystemsStefan Ratschan. 213-216
- Gröbner Bases in Function Rings - A Guide for Introducing Reduction Relations to Algebraic StructuresBirgit Reinert. 217-221
- Stability of Gröbner Bases and ACGBYosuke Sato. 223-227
- Characteristics of Involutive DivisionsAlexander Semenov. 229-235
- Quantifier Elimination and Information Flow Control for Software SecurityGregor Snelting. 237-242
- Applications of Algorithms for Solving Equations and Inequalities in MathematicaAdam W. Strzebonski. 243-247
- Full Comprehensive Gröbner BasesAkira Suzuki. 249-252
- On the Degeneracy Conditions of Singularities by Using Comprehensive Gröbner BasesTadashi Takahashi, Kosaku Nagasaka. 253-256
- Gröbner Bases in Elimination TheoryPeter Ullrich. 257-261
- A Note on Definable Operators on StructuresHugo Volger. 263-268
- The Projection Property of Regular Systems and Its Application to Solving Parametric Polynomial SystemsDongming Wang. 269-274
- SyNRAC: A Maple Toolbox for Solving Real Algebraic ConstraintsHitoshi Yanami, Hirokazu Anai. 275-279
- Real Solution Classification for Parametric Semi-Algebraic SystemsLu Yang, Bican Xia. 281-289
- The Applications of Differential Elimination Methods and Hilbert s Nullstellensatz in PDEsHongqing Zhang. 301-307
- Some Results on Differential Gröbner BasesAleksey Zobnin. 309-314
- Model Theory of Lattice ProductsVolker Weispfenning. 315-554