Cylindrical algebraic decomposition I: the basic algorithm
SIAM Journal on Computing
The complexity of elementary algebra and geometry
Journal of Computer and System Sciences
Solving systems of polynomial inequalities in subexponential time
Journal of Symbolic Computation
Complexity of deciding Tarski algebra
Journal of Symbolic Computation
A cluster-based cylindrical algebraic decomposition algorithm
Journal of Symbolic Computation
On mechanical quantifier elimination for elementary algebra and geometry
Journal of Symbolic Computation
Quantifier elimination: Optimal solution for two classical examples
Journal of Symbolic Computation
Some algebraic and geometric computations in PSPACE
STOC '88 Proceedings of the twentieth annual ACM symposium on Theory of computing
Quantifier elimination and the sign variation method for real root isolation
ISSAC '89 Proceedings of the ACM-SIGSAM 1989 international symposium on Symbolic and algebraic computation
An improvement of the projection operator in cylindrical algebraic decomposition
ISSAC '90 Proceedings of the international symposium on Symbolic and algebraic computation
Partial Cylindrical Algebraic Decomposition for quantifier elimination
Journal of Symbolic Computation
Algorithms for polynomial real root isolation
Algorithms for polynomial real root isolation
Logic Minimization Algorithms for VLSI Synthesis
Logic Minimization Algorithms for VLSI Synthesis
Algorithms for a Multiple Algebraic Extension II
AAECC-9 Proceedings of the 9th International Symposium, on Applied Algebra, Algebraic Algorithms and Error-Correcting Codes
Hauptvortrag: Quantifier elimination for real closed fields by cylindrical algebraic decomposition
Proceedings of the 2nd GI Conference on Automata Theory and Formal Languages
Towards mechanical solution of the Kahan Ellipse Problem 1
EUROCAL '83 Proceedings of the European Computer Algebra Conference on Computer Algebra
Algorithms for the geometry of semi-algebraic sets
Algorithms for the geometry of semi-algebraic sets
An improved projection operation for cylindrical algebraic decomposition (computer algebra, geometry, algorithms)
Improvements in cad-based quantifier elimination
Improvements in cad-based quantifier elimination
A solution to Kahan's problem (SIGSAM problem no. 9)
ACM SIGSAM Bulletin
Problem #9: an ellipse problem
ACM SIGSAM Bulletin
The algorithm description language ALDES (report)
ACM SIGSAM Bulletin
Quantifier elimination for real algebra—the cubic case
ISSAC '94 Proceedings of the international symposium on Symbolic and algebraic computation
Approaches to parallel quantifier elimination
ISSAC '98 Proceedings of the 1998 international symposium on Symbolic and algebraic computation
Simplification of truth-invariant cylindrical algebraic decompositions
ISSAC '98 Proceedings of the 1998 international symposium on Symbolic and algebraic computation
Guaranteed solution formula construction
ISSAC '99 Proceedings of the 1999 international symposium on Symbolic and algebraic computation
Improved projection for CAD's of R3
ISSAC '00 Proceedings of the 2000 international symposium on Symbolic and algebraic computation
ISSAC '00 Proceedings of the 2000 international symposium on Symbolic and algebraic computation
Improved projection for cylindrical algebraic decomposition
Journal of Symbolic Computation
Heuristic search and pruning in polynomial constraints satisfaction
Annals of Mathematics and Artificial Intelligence
Testing Positiveness of Polynomials
Journal of Automated Reasoning
Solving Geometric Problems with Real Quantifier Elimination
ADG '98 Proceedings of the Second International Workshop on Automated Deduction in Geometry
A generic projection operator for partial cylindrical algebraic decomposition
ISSAC '03 Proceedings of the 2003 international symposium on Symbolic and algebraic computation
QEPCAD B: a program for computing with semi-algebraic sets using CADs
ACM SIGSAM Bulletin
The complexity of quantifier elimination and cylindrical algebraic decomposition
Proceedings of the 2007 international symposium on Symbolic and algebraic computation
Unconstrained Parametric Minimization of a Polynomial: Approximate and Exact
Computer Mathematics
On the representation of constructible sets
ACM Communications in Computer Algebra
Fast simplifications for Tarski formulas
Proceedings of the 2009 international symposium on Symbolic and algebraic computation
On delineability of varieties in CAD-based quantifier elimination with two equational constraints
Proceedings of the 2009 international symposium on Symbolic and algebraic computation
Computing cylindrical algebraic decomposition via triangular decomposition
Proceedings of the 2009 international symposium on Symbolic and algebraic computation
Black-box/white-box simplification and applications to quantifier elimination
Proceedings of the 2010 International Symposium on Symbolic and Algebraic Computation
Quantifier elimination for quartics
AISC'06 Proceedings of the 8th international conference on Artificial Intelligence and Symbolic Computation
Fast simplifications for Tarski formulas based on monomial inequalities
Journal of Symbolic Computation
Variant quantifier elimination
Journal of Symbolic Computation
| Hi-index | 0.00 |