|
|
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 Clebsch-Gordan Coefficients
by J. De Loera, T. McAllister
- Galois Theory, Splitting Fields, and Computer Algebra
by G. Diaz-Toca
- On a Conjecture About Univariate Polynomials and Their Roots
by G. Diaz-Toca, L. Gonzalez-Vega
- Classifying Mathematical Web Content
by D. Draheim, W. Neun, D. Suliman
- Computing the Intersection of Two Ruled Surfaces
by M. Fioravanti, L. Gonzalez-Vega, 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 ACGB-V
by K. Nabeshima
- Thirty Years of Lisp Support for REDUCE
by A. C. Norman
- Approximately Parameterizing Algebraic Curves and Surfaces
by S. Perez-Dyaz, J. Sendra, J. R. Sendra
- Gröbner Bases in Skew Polynomial Rings
by M. Pesch
- The Symmetric Subset-Sum 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 Semi-Algebraic 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
|
|