C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Algorithmic Algebra and Logic
2005
2005
2005
Keyphrases
Publications
2005
Birgit Reinert
Gröbner Bases in Function Rings - A Guide for Introducing Reduction Relations to Algebraic Structures.
Algorithmic Algebra and Logic
(2005)
Douglas D. Zaster
High Noon.
Algorithmic Algebra and Logic
(2005)
Dongming Wang
The Projection Property of Regular Systems and Its Application to Solving Parametric Polynomial Systems.
Algorithmic Algebra and Logic
(2005)
Hitoshi Yanami
,
Hirokazu Anai
SyNRAC: A Maple Toolbox for Solving Real Algebraic Constraints.
Algorithmic Algebra and Logic
(2005)
Lu Yang
,
Bican Xia
Real Solution Classification for Parametric Semi-Algebraic Systems.
Algorithmic Algebra and Logic
(2005)
David J. Jeffrey
The Art of Formula.
Algorithmic Algebra and Logic
(2005)
Montserrat Manubens
,
Antonio Montes
Improving the DISPGB Algorithm Using the Discriminant Ideal.
Algorithmic Algebra and Logic
(2005)
Aleksey Zobnin
Some Results on Differential Gröbner Bases.
Algorithmic Algebra and Logic
(2005)
Vladimir P. Gerdt
,
Denis A. Yanovich
Experimental Analysis of Involutive Criteria.
Algorithmic Algebra and Logic
(2005)
Stefan Ratschan
Solving Undecidable Problems in the Theory of Real Numbers and Hybrid Systems.
Algorithmic Algebra and Logic
(2005)
Thomas Becker
Volker Weispfenning: Scientist, Teacher, Mentor.
Algorithmic Algebra and Logic
(2005)
Wolfgang Küchlin
Canonical Hardware Representation Using Gröbner Bases.
Algorithmic Algebra and Logic
(2005)
Mohamed Ayad
Prime Polynomials.
Algorithmic Algebra and Logic
(2005)
Manfred Göbel
Continuous Visualization of SAGBI Bases for Parameterized Linear Subalgebras.
Algorithmic Algebra and Logic
(2005)
Nikolaj N. Glazunov
Minkowski's Conjecture on Critical Lattices and Quantifier Elimination.
Algorithmic Algebra and Logic
(2005)
Hongqing Zhang
The Applications of Differential Elimination Methods and Hilbert's Nullstellensatz in PDEs.
Algorithmic Algebra and Logic
(2005)
Michael Pesch
Gröbner Bases in Skew Polynomial Rings.
Algorithmic Algebra and Logic
(2005)
Gema M. Diaz-Toca
Galois Theory, Splitting Fields, and Computer Algebra.
Algorithmic Algebra and Logic
(2005)
James C. Beaumont
,
Nalina Phisanbut
,
Russell J. Bradford
Practical Simplification of Elementary Functions Using CAD.
Algorithmic Algebra and Logic
(2005)
Katsusuke Nabeshima
A Computation Method for ACGB-V.
Algorithmic Algebra and Logic
(2005)
Eberhard Becker
Geometric Radicals of Polynomial Ideals.
Algorithmic Algebra and Logic
(2005)
Christopher W. Brown
,
M'hammed El Kahoui
,
Dominik Novotni
,
Andreas Weber
Algorithmic Methods for Investigating Equilibria in Epidemic Modeling.
Algorithmic Algebra and Logic
(2005)
Volker Weispfenning
Model Theory of Lattice Products.
Algorithmic Algebra and Logic
(2005)
Gema M. Diaz-Toca
,
Laureano González-Vega
On a Conjecture About Univariate Polynomials and Their Roots.
Algorithmic Algebra and Logic
(2005)
Gábor Bodnár
Computing Centers of Blowups for Birational Projective Morphisms of Varieties.
Algorithmic Algebra and Logic
(2005)
Heinz Kredel
A Systems Perspective on A3L.
Algorithmic Algebra and Logic
(2005)
Arthur C. Norman
Thirty Years of Lisp Support for REDUCE.
Algorithmic Algebra and Logic
(2005)
Günter Landsmann
,
Peter Mayr
,
Josef Schicho
A Topological Criterion for Polynomiality.
Algorithmic Algebra and Logic
(2005)
Tadashi Takahashi
,
Kosaku Nagasaka
On the Degeneracy Conditions of Singularities by Using Comprehensive Gröbner Bases.
Algorithmic Algebra and Logic
(2005)
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)
Dirk Draheim
,
Winfried Neun
,
Dima Suliman
Employing Computer Algebra for Classifying Mathematical Web Content.
Algorithmic Algebra and Logic
(2005)
Pasqualina Conti
,
Carlo Traverso
Approximate Rings and Gröbner Bases.
Algorithmic Algebra and Logic
(2005)
Lev M. Berkovich
,
Ephraim Fedor L. Berkovitch
An Algorithm for Factorization of Some Second Order Differential Equations.
Algorithmic Algebra and Logic
(2005)
Hirokazu Anai
,
Kazuhiro Yokoyama
Cylindrical Algebraic Decomposition via Numerical Computation with Validated Symbolic Reconstruction.
Algorithmic Algebra and Logic
(2005)
Mihai Prunescu
The Symmetric Subset-Sum Problem over the Complex Numbers.
Algorithmic Algebra and Logic
(2005)
Armin Größlinger
,
Martin Griebl
,
Christian Lengauer
Quantifier Elimination in Automatic Loop Parallelization.
Algorithmic Algebra and Logic
(2005)
Maria Grazia Marinari
,
Teo Mora
Rambling on Weispfenning, Montes, Gianni, and Kronecker.
Algorithmic Algebra and Logic
(2005)
Hugo Volger
A Note on Definable Operators on Structures.
Algorithmic Algebra and Logic
(2005)
Peter Ullrich
Gröbner Bases in Elimination Theory.
Algorithmic Algebra and Logic
(2005)
Gregor Snelting
Quantifier Elimination and Information Flow Control for Software Security.
Algorithmic Algebra and Logic
(2005)
Christopher W. Brown
,
Sjaak de Vlaming
,
George Nakos
Quantifier Elimination and the Ellipticity of Systems of Partial Differential Equations.
Algorithmic Algebra and Logic
(2005)
Jaime Gutierrez
,
David Sevilla
Computation of Unirational Fields.
Algorithmic Algebra and Logic
(2005)
Adam W. Strzebonski
Applications of Algorithms for Solving Equations and Inequalities in Mathematica.
Algorithmic Algebra and Logic
(2005)
Anthony C. Hearn
REDUCE: The First Forty Years.
Algorithmic Algebra and Logic
(2005)
Yosuke Sato
Stability of Gröbner Bases and ACGB.
Algorithmic Algebra and Logic
(2005)
Sonia Pérez-Díaz
,
Juana Sendra
,
J. Rafael Sendra
The Challenge of Approximately Parameterizing Algebraic Curves and Surfaces.
Algorithmic Algebra and Logic
(2005)
Lev D. Pustylnikov
,
Tatiana Lokot
,
Roman L. Pustylnikov
Discrete Rotation Maps and Generalized Continued Fractions.
Algorithmic Algebra and Logic
(2005)
Alexander Semenov
Characteristics of Involutive Divisions.
Algorithmic Algebra and Logic
(2005)
Jesús A. De Loera
,
Tyrrell B. McAllister
Fast Computation of Clebsch-Gordan Coefficients.
Algorithmic Algebra and Logic
(2005)
Akira Suzuki
Full Comprehensive Gröbner Bases.
Algorithmic Algebra and Logic
(2005)