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.
last updated on 2024-12-19 22:19 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: