Cylindrical algebraic decomposition I: the basic algorithm
SIAM Journal on Computing
Cylindrical algebraic decomposition II: an adjacency algorithm for the plane
SIAM Journal on Computing
The complexity of elementary algebra and geometry
Journal of Computer and System Sciences
On approximations and incidence in cylindrical algebraic decompositions
SIAM Journal on Computing
Fast searching in a real algebraic manifold with applications to geometric complexity
Proc. of the international joint conference on theory and practice of software development (TAPSOFT) Berlin, March 25-29, 1985 on Mathematical foundations of software development, Vol. 1: Colloquium on trees in algebra and programming (CAAP'85)
Compliant motion planning with geometric models
SCG '87 Proceedings of the third annual symposium on Computational geometry
The complexity of linear problems in fields
Journal of Symbolic Computation
Real quantifier elimination is doubly exponential
Journal of Symbolic Computation
Solving systems of polynomial inequalities in subexponential time
Journal of Symbolic Computation
Complexity of deciding Tarski algebra
Journal of Symbolic Computation
Some aspects of complexity in real algebraic geometry
Journal of Symbolic Computation
Journal of Symbolic Computation
Algebraic decomposition of regular curves
Journal of Symbolic Computation
An improved projection operation for cylindrical algebraic decomposition of three-dimensional space
Journal of Symbolic Computation
A cluster-based cylindrical algebraic decomposition algorithm
Journal of Symbolic Computation
A polynomial-time algorithm for the topological type of a real algebraic curve
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
A cellular decomposition algorithm for semi-algebraic sets
EUROSAM '79 Proceedings of the International Symposiumon on Symbolic and Algebraic Computation
Cylindrical Algebraic Decomposition by Quantifier Elimination
EUROCAM '82 Proceedings of the European Computer Algebra Conference on Computer Algebra
Factorization in Cylindrical Algebraic Decomposition
EUROCAM '82 Proceedings of the European Computer Algebra Conference on Computer Algebra
Ein Entscheidungsverfahren für die Theorie der reell- abgeschlossenen Körper
Komplexität von Entscheidungsproblemen, Ein Seminar
On shortest paths in polyhedral spaces
STOC '84 Proceedings of the sixteenth annual ACM symposium on Theory of computing
ACM '56 Proceedings of the 1956 11th ACM national meeting
Algebraic cell decomposition in NC
SFCS '85 Proceedings of the 26th Annual Symposium on Foundations of Computer Science
A parallel implementation of the cylindrical algebraic decomposition algorithm
ISSAC '89 Proceedings of the ACM-SIGSAM 1989 international symposium on Symbolic and algebraic computation
Constraint logic programming languages
Communications of the ACM
Towards practical constraint databases (extended abstract)
PODS '96 Proceedings of the fifteenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Heuristic search and pruning in polynomial constraints satisfaction
Annals of Mathematics and Artificial Intelligence
A New Approach for Automatic Theorem Proving in Real Geometry
Journal of Automated Reasoning
| Hi-index | 0.02 |
A basic collection of literature relatlng to algorithmic quantifier elimination for real closed fields is assembled.