Andreas Dolzmann, Andreas Seidl, Thomas Sturm (Eds.):
Algorithmic Algebra and Logic. Proceedings of the A3L 2005, April 3-6, Passau, Germany; Conference in Honor of the 60th Birthday of Volker Weispfenning.
Books on Demand 2005, ISBN 3-8334-2669-1 
Invited Papers
Contributed Papers
- Hirokazu Anai, Kazuhiro Yokoyama:
Cylindrical Algebraic Decomposition via Numerical Computation with Validated Symbolic Reconstruction.
25-30
- Mohamed Ayad:
Prime Polynomials.
31-33
- James C. Beaumont, Nalina Phisanbut, Russell J. Bradford:
Practical Simplification of Elementary Functions Using CAD.
35-39
- Lev M. Berkovich, Ephraim Fedor L. Berkovitch:
An Algorithm for Factorization of Some Second Order Differential Equations.
41-47
- Gábor Bodnár:
Computing Centers of Blowups for Birational Projective Morphisms of Varieties.
49-53
- Christopher W. Brown, Sjaak de Vlaming, George Nakos:
Quantifier Elimination and the Ellipticity of Systems of Partial Differential Equations.
55-58
- Christopher W. Brown, M'hammed El Kahoui, Dominik Novotni, Andreas Weber:
Algorithmic Methods for Investigating Equilibria in Epidemic Modeling.
59-63
- Pasqualina Conti, Carlo Traverso:
Approximate Rings and Gröbner Bases.
65-70
- Jesús A. De Loera, Tyrrell B. McAllister:
Fast Computation of Clebsch-Gordan Coefficients.
71-75
- Gema M. Diaz-Toca:
Galois Theory, Splitting Fields, and Computer Algebra.
77-81
- Gema M. Diaz-Toca, Laureano González-Vega:
On a Conjecture About Univariate Polynomials and Their Roots.
83-90
- Dirk Draheim, Winfried Neun, Dima Suliman:
Employing Computer Algebra for Classifying Mathematical Web Content.
91-94
- Mario Fioravanti, Laureano González-Vega, Ioana Necula:
Computing the Intersection of Two Ruled Surfaces by Using a New Algebraic Approach.
95-103
- Vladimir P. Gerdt, Denis A. Yanovich:
Experimental Analysis of Involutive Criteria.
105-109
- Nikolaj Glazunov:
Minkowski's Conjecture on Critical Lattices and Quantifier Elimination.
111-114
- Manfred Göbel:
Continuous Visualization of SAGBI Bases for Parameterized Linear Subalgebras.
115-121
- Armin Größlinger, Martin Griebl, Christian Lengauer:
Quantifier Elimination in Automatic Loop Parallelization.
123-128
- Jaime Gutierrez, David Sevilla:
Computation of Unirational Fields.
129-134
- David J. Jeffrey:
The Art of Formula.
135-139
- Heinz Kredel:
A Systems Perspective on A3L.
141-145
- Wolfgang Küchlin:
Canonical Hardware Representation Using Gröbner Bases.
147-154
- Günter Landsmann, Peter Mayr, Josef Schicho:
A Topological Criterion for Polynomiality.
155-158
- Montserrat Manubens, Antonio Montes:
Improving the DISPGB Algorithm Using the Discriminant Ideal.
159-166
- Maria Grazia Marinari, Teo Mora:
Rambling on Weispfenning, Montes, Gianni, and Kronecker.
167-172
- Katsusuke Nabeshima:
A Computation Method for ACGB-V.
173-180
- Arthur C. Norman:
Thirty Years of Lisp Support for REDUCE.
181-186
- Sonia Pérez-Díaz, Juana Sendra, J. Rafael Sendra:
The Challenge of Approximately Parameterizing Algebraic Curves and Surfaces.
187-194
- Michael Pesch:
Gröbner Bases in Skew Polynomial Rings.
195-199
- Mihai Prunescu:
The Symmetric Subset-Sum Problem over the Complex Numbers.
201-206
- Lev D. Pustylnikov, Tatiana Lokot, Roman L. Pustylnikov:
Discrete Rotation Maps and Generalized Continued Fractions.
207-211
- Stefan Ratschan:
Solving Undecidable Problems in the Theory of Real Numbers and Hybrid Systems.
213-216
- Birgit Reinert:
Gröbner Bases in Function Rings - A Guide for Introducing Reduction Relations to Algebraic Structures.
217-221
- Yosuke Sato:
Stability of Gröbner Bases and ACGB.
223-227
- Alexander Semenov:
Characteristics of Involutive Divisions.
229-235
- Gregor Snelting:
Quantifier Elimination and Information Flow Control for Software Security.
237-242
- Adam W. Strzebonski:
Applications of Algorithms for Solving Equations and Inequalities in Mathematica.
243-247
- Akira Suzuki:
Full Comprehensive Gröbner Bases.
249-252
- Tadashi Takahashi, Kosaku Nagasaka:
On the Degeneracy Conditions of Singularities by Using Comprehensive Gröbner Bases.
253-256
- Peter Ullrich:
Gröbner Bases in Elimination Theory.
257-261
- Hugo Volger:
A Note on Definable Operators on Structures.
263-268
- Dongming Wang:
The Projection Property of Regular Systems and Its Application to Solving Parametric Polynomial Systems.
269-274
- Hitoshi Yanami, Hirokazu Anai:
SyNRAC: A Maple Toolbox for Solving Real Algebraic Constraints.
275-279
- Lu Yang, Bican Xia:
Real Solution Classification for Parametric Semi-Algebraic Systems.
281-289
- Douglas D. Zaster:
High Noon.
291-300
- Hongqing Zhang:
The Applications of Differential Elimination Methods and Hilbert's Nullstellensatz in PDEs.
301-307
- Aleksey Zobnin:
Some Results on Differential Gröbner Bases.
309-314
Habilitationsschrift
Last update Tue May 22 23:23:10 2012
CET by the DBLP Team — 
Data released under the ODC-BY 1.0 license — See also our legal information page
