


default search action
60. Birthday: Volker Weispfenning , 2005
- Andreas Dolzmann, Andreas Seidl, Thomas Sturm:

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, pp. i-xii, 1-558
Invited Papers
- Eberhard Becker:

Geometric Radicals of Polynomial Ideals. Algorithmic Algebra and Logic 2005: 1-2 - Thomas Becker:

Volker Weispfenning: Scientist, Teacher, Mentor. Algorithmic Algebra and Logic 2005: 3-18 - Anthony C. Hearn:

REDUCE: The First Forty Years. Algorithmic Algebra and Logic 2005: 19-24
Contributed Papers
- Hirokazu Anai, Kazuhiro Yokoyama:

Cylindrical Algebraic Decomposition via Numerical Computation with Validated Symbolic Reconstruction. Algorithmic Algebra and Logic 2005: 25-30 - Mohamed Ayad:

Prime Polynomials. Algorithmic Algebra and Logic 2005: 31-33 - James C. Beaumont, Nalina Phisanbut, Russell J. Bradford:

Practical Simplification of Elementary Functions Using CAD. Algorithmic Algebra and Logic 2005: 35-39 - Lev M. Berkovich, Ephraim Fedor L. Berkovitch:

An Algorithm for Factorization of Some Second Order Differential Equations. Algorithmic Algebra and Logic 2005: 41-47 - Gábor Bodnár:

Computing Centers of Blowups for Birational Projective Morphisms of Varieties. Algorithmic Algebra and Logic 2005: 49-53 - Christopher W. Brown, Sjaak de Vlaming, George Nakos:

Quantifier Elimination and the Ellipticity of Systems of Partial Differential Equations. Algorithmic Algebra and Logic 2005: 55-58 - Christopher W. Brown, M'hammed El Kahoui, Dominik Novotni, Andreas Weber:

Algorithmic Methods for Investigating Equilibria in Epidemic Modeling. Algorithmic Algebra and Logic 2005: 59-63 - Pasqualina Conti, Carlo Traverso:

Approximate Rings and Gröbner Bases. Algorithmic Algebra and Logic 2005: 65-70 - Jesús A. De Loera, Tyrrell B. McAllister:

Fast Computation of Clebsch-Gordan Coefficients. Algorithmic Algebra and Logic 2005: 71-75 - Gema M. Diaz-Toca:

Galois Theory, Splitting Fields, and Computer Algebra. Algorithmic Algebra and Logic 2005: 77-81 - Gema M. Diaz-Toca, Laureano González-Vega:

On a Conjecture About Univariate Polynomials and Their Roots. Algorithmic Algebra and Logic 2005: 83-90 - Dirk Draheim, Winfried Neun, Dima Suliman:

Employing Computer Algebra for Classifying Mathematical Web Content. Algorithmic Algebra and Logic 2005: 91-94 - Mario Fioravanti, Laureano González-Vega, Ioana Necula:

Computing the Intersection of Two Ruled Surfaces by Using a New Algebraic Approach. Algorithmic Algebra and Logic 2005: 95-103 - Vladimir P. Gerdt, Denis A. Yanovich:

Experimental Analysis of Involutive Criteria. Algorithmic Algebra and Logic 2005: 105-109 - Nikolaj N. Glazunov:

Minkowski's Conjecture on Critical Lattices and Quantifier Elimination. Algorithmic Algebra and Logic 2005: 111-114 - Manfred Göbel:

Continuous Visualization of SAGBI Bases for Parameterized Linear Subalgebras. Algorithmic Algebra and Logic 2005: 115-121 - Armin Größlinger, Martin Griebl, Christian Lengauer:

Quantifier Elimination in Automatic Loop Parallelization. Algorithmic Algebra and Logic 2005: 123-128 - Jaime Gutierrez, David Sevilla:

Computation of Unirational Fields. Algorithmic Algebra and Logic 2005: 129-134 - David J. Jeffrey:

The Art of Formula. Algorithmic Algebra and Logic 2005: 135-139 - Heinz Kredel:

A Systems Perspective on A3L. Algorithmic Algebra and Logic 2005: 141-145 - Wolfgang Küchlin:

Canonical Hardware Representation Using Gröbner Bases. Algorithmic Algebra and Logic 2005: 147-154 - Günter Landsmann, Peter Mayr, Josef Schicho:

A Topological Criterion for Polynomiality. Algorithmic Algebra and Logic 2005: 155-158 - Montserrat Manubens, Antonio Montes:

Improving the DISPGB Algorithm Using the Discriminant Ideal. Algorithmic Algebra and Logic 2005: 159-166 - Maria Grazia Marinari, Teo Mora:

Rambling on Weispfenning, Montes, Gianni, and Kronecker. Algorithmic Algebra and Logic 2005: 167-172 - Katsusuke Nabeshima:

A Computation Method for ACGB-V. Algorithmic Algebra and Logic 2005: 173-180 - Arthur C. Norman:

Thirty Years of Lisp Support for REDUCE. Algorithmic Algebra and Logic 2005: 181-186 - Sonia Pérez-Díaz, Juana Sendra, J. Rafael Sendra:

The Challenge of Approximately Parameterizing Algebraic Curves and Surfaces. Algorithmic Algebra and Logic 2005: 187-194 - Michael Pesch:

Gröbner Bases in Skew Polynomial Rings. Algorithmic Algebra and Logic 2005: 195-199 - Mihai Prunescu:

The Symmetric Subset-Sum Problem over the Complex Numbers. Algorithmic Algebra and Logic 2005: 201-206 - Lev D. Pustylnikov, Tatiana Lokot, Roman L. Pustylnikov:

Discrete Rotation Maps and Generalized Continued Fractions. Algorithmic Algebra and Logic 2005: 207-211 - Stefan Ratschan:

Solving Undecidable Problems in the Theory of Real Numbers and Hybrid Systems. Algorithmic Algebra and Logic 2005: 213-216 - Birgit Reinert:

Gröbner Bases in Function Rings - A Guide for Introducing Reduction Relations to Algebraic Structures. Algorithmic Algebra and Logic 2005: 217-221 - Yosuke Sato:

Stability of Gröbner Bases and ACGB. Algorithmic Algebra and Logic 2005: 223-227 - Alexander Semenov:

Characteristics of Involutive Divisions. Algorithmic Algebra and Logic 2005: 229-235 - Gregor Snelting:

Quantifier Elimination and Information Flow Control for Software Security. Algorithmic Algebra and Logic 2005: 237-242 - Adam W. Strzebonski:

Applications of Algorithms for Solving Equations and Inequalities in Mathematica. Algorithmic Algebra and Logic 2005: 243-247 - Akira Suzuki:

Full Comprehensive Gröbner Bases. Algorithmic Algebra and Logic 2005: 249-252 - Tadashi Takahashi, Kosaku Nagasaka:

On the Degeneracy Conditions of Singularities by Using Comprehensive Gröbner Bases. Algorithmic Algebra and Logic 2005: 253-256 - Peter Ullrich:

Gröbner Bases in Elimination Theory. Algorithmic Algebra and Logic 2005: 257-261 - Hugo Volger:

A Note on Definable Operators on Structures. Algorithmic Algebra and Logic 2005: 263-268 - Dongming Wang:

The Projection Property of Regular Systems and Its Application to Solving Parametric Polynomial Systems. Algorithmic Algebra and Logic 2005: 269-274 - Hitoshi Yanami, Hirokazu Anai:

SyNRAC: A Maple Toolbox for Solving Real Algebraic Constraints. Algorithmic Algebra and Logic 2005: 275-279 - Lu Yang, Bican Xia:

Real Solution Classification for Parametric Semi-Algebraic Systems. Algorithmic Algebra and Logic 2005: 281-289 - Douglas D. Zaster:

High Noon. Algorithmic Algebra and Logic 2005: 291-300 - Hongqing Zhang:

The Applications of Differential Elimination Methods and Hilbert's Nullstellensatz in PDEs. Algorithmic Algebra and Logic 2005: 301-307 - Aleksey Zobnin:

Some Results on Differential Gröbner Bases. Algorithmic Algebra and Logic 2005: 309-314
Habilitationsschrift
- Volker Weispfenning:

Model Theory of Lattice Products. Algorithmic Algebra and Logic 2005: 315-554

manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.


Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID














