| Publication | Date of Publication | Type |
|---|
Local quantifier elimination
Proceedings of the 2000 international symposium on Symbolic and algebraic computation | 2015-11-26 | Paper |
Deciding linear-trigonometric problems
Proceedings of the 2000 international symposium on Symbolic and algebraic computation | 2015-11-26 | Paper |
Deciding polynomial-transcendental problems
Journal of Symbolic Computation | 2011-12-21 | Paper |
Gröbner bases for polynomial ideals over commutative regular rings
Lecture Notes in Computer Science | 2011-04-16 | Paper |
Deciding polynomial-exponential problems
Proceedings of the twenty-first international symposium on Symbolic and algebraic computation | 2009-01-20 | Paper |
Robust Stability for Parametric Linear ODEs
Computer Algebra in Scientific Computing | 2008-07-01 | Paper |
Comprehensive Gröbner bases and regular rings
Journal of Symbolic Computation | 2007-10-23 | Paper |
Multiple object semilinear motion planning
Journal of Symbolic Computation | 2007-10-23 | Paper |
Automated Reasoning
Lecture Notes in Computer Science | 2007-09-25 | Paper |
Computer Algebra in Scientific Computing
Lecture Notes in Computer Science | 2006-07-07 | Paper |
| scientific article; zbMATH DE number 2177636 (Why is no real title available?) | 2005-06-21 | Paper |
| scientific article; zbMATH DE number 2151245 (Why is no real title available?) | 2005-04-04 | Paper |
Canonical comprehensive Gröbner bases
Journal of Symbolic Computation | 2004-08-20 | Paper |
Semilinear motion planning in REDLOG
Applicable Algebra in Engineering, Communication and Computing | 2002-10-15 | Paper |
| scientific article; zbMATH DE number 1794361 (Why is no real title available?) | 2002-09-03 | Paper |
| Solving numerical constraints | 2002-08-27 | Paper |
| scientific article; zbMATH DE number 1741317 (Why is no real title available?) | 2002-05-15 | Paper |
| scientific article; zbMATH DE number 1741318 (Why is no real title available?) | 2002-05-15 | Paper |
| scientific article; zbMATH DE number 1684391 (Why is no real title available?) | 2001-12-18 | Paper |
| scientific article; zbMATH DE number 1574496 (Why is no real title available?) | 2001-10-31 | Paper |
| scientific article; zbMATH DE number 1273642 (Why is no real title available?) | 1999-09-01 | Paper |
| scientific article; zbMATH DE number 1302474 (Why is no real title available?) | 1999-08-31 | Paper |
| scientific article; zbMATH DE number 1253963 (Why is no real title available?) | 1999-07-05 | Paper |
A new approach for automatic theorem proving in real geometry
Journal of Automated Reasoning | 1999-04-11 | Paper |
| scientific article; zbMATH DE number 1263423 (Why is no real title available?) | 1999-03-16 | Paper |
| scientific article; zbMATH DE number 1263327 (Why is no real title available?) | 1999-03-16 | Paper |
| scientific article; zbMATH DE number 1189070 (Why is no real title available?) | 1998-10-26 | Paper |
Simulation and optimization by quantifier elimination
Journal of Symbolic Computation | 1997-09-29 | Paper |
Quantifier elimination for real algebra -- the quadratic case and beyond
Applicable Algebra in Engineering, Communication and Computing | 1997-08-04 | Paper |
Applying Linear Quantifier Elimination
The Computer Journal | 1994-05-23 | Paper |
| scientific article; zbMATH DE number 217454 (Why is no real title available?) | 1993-06-27 | Paper |
Comprehensive Gröbner bases
Journal of Symbolic Computation | 1993-01-16 | Paper |
| scientific article; zbMATH DE number 49362 (Why is no real title available?) | 1992-09-17 | Paper |
On the number of term orders
Applicable Algebra in Engineering, Communication and Computing | 1992-06-26 | Paper |
Non-commutative Gröbner bases in algebras of solvable type
Journal of Symbolic Computation | 1990-01-01 | Paper |
Existential equivalence of ordered abelian groups with parameters
Archive for Mathematical Logic | 1990-01-01 | Paper |
The complexity of almost linear diophantine problems
Journal of Symbolic Computation | 1990-01-01 | Paper |
| scientific article; zbMATH DE number 4137919 (Why is no real title available?) | 1989-01-01 | Paper |
| scientific article; zbMATH DE number 4069044 (Why is no real title available?) | 1988-01-01 | Paper |
The complexity of linear problems in fields
Journal of Symbolic Computation | 1988-01-01 | Paper |
Computing dimension and independent sets for polynomial ideals
Journal of Symbolic Computation | 1988-01-01 | Paper |
Admissible orders and linear forms
ACM SIGSAM Bulletin | 1987-01-01 | Paper |
| scientific article; zbMATH DE number 4025497 (Why is no real title available?) | 1986-01-01 | Paper |
| scientific article; zbMATH DE number 4008363 (Why is no real title available?) | 1986-01-01 | Paper |
| scientific article; zbMATH DE number 4016871 (Why is no real title available?) | 1986-01-01 | Paper |
The complexity of the word problem for abelian l-groups
Theoretical Computer Science | 1986-01-01 | Paper |
| scientific article; zbMATH DE number 3920550 (Why is no real title available?) | 1985-01-01 | Paper |
Quantifier elimination for modules
Archiv für Mathematische Logik und Grundlagenforschung | 1985-01-01 | Paper |
Existentially closed semilattices
Algebra Universalis | 1985-01-01 | Paper |
Quantifier Elimination for Distributive Lattices and Measure Algebras
Mathematical Logic Quarterly | 1985-01-01 | Paper |
| scientific article; zbMATH DE number 3935016 (Why is no real title available?) | 1984-01-01 | Paper |
| scientific article; zbMATH DE number 3918343 (Why is no real title available?) | 1984-01-01 | Paper |
| scientific article; zbMATH DE number 3821712 (Why is no real title available?) | 1982-01-01 | Paper |
| scientific article; zbMATH DE number 3786742 (Why is no real title available?) | 1981-01-01 | Paper |
The model-theoretic significance of complemented existential formulas
Journal of Symbolic Logic | 1981-01-01 | Paper |
| scientific article; zbMATH DE number 3720896 (Why is no real title available?) | 1979-01-01 | Paper |
A note on ℵ0-categorical model-companions
Archiv für Mathematische Logik und Grundlagenforschung | 1978-01-01 | Paper |
Nullstellensätze — A Model Theoretic Framework
Zeitschrift für Mathematische Logik und Grundlagen der Mathematik | 1977-01-01 | Paper |
On the elementary theory of Hensel fields
Annals of Mathematical Logic | 1976-01-01 | Paper |
Negative-existentially complete structures and definability in free extensions
Journal of Symbolic Logic | 1976-01-01 | Paper |
Model-completeness and elimination of quantifiers for subdirect products of structures
Journal of Algebra | 1975-01-01 | Paper |
Two Model Theoretic Proofs of Ruckert's Nullstellensatz
Transactions of the American Mathematical Society | 1975-01-01 | Paper |
Infinitary Model-Theoretic Properties Of χ-Saturated Structures
Zeitschrift für Mathematische Logik und Grundlagen der Mathematik | 1973-01-01 | Paper |
