The complexity of elementary algebra and geometry
Journal of Computer and System Sciences
POPL '87 Proceedings of the 14th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
The complexity of linear problems in fields
Journal of Symbolic Computation
Complexity of deciding Tarski algebra
Journal of Symbolic Computation
Communications of the ACM
Hauptvortrag: Quantifier elimination for real closed fields by cylindrical algebraic decomposition
Proceedings of the 2nd GI Conference on Automata Theory and Formal Languages
Non-linear Real Constraints in Constraint Logic Programming
Proceedings of the Third International Conference on Algebraic and Logic Programming
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
GCD of polynomials and Bezout matrices
ISSAC '97 Proceedings of the 1997 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
Heuristic search and pruning in polynomial constraints satisfaction
Annals of Mathematics and Artificial Intelligence
Automatic computation of the complete root classification for a parametric polynomial
Journal of Symbolic Computation
Proceedings of the 2009 conference on Symbolic numeric computation
ICCS'06 Proceedings of the 6th international conference on Computational Science - Volume Part II
Proceedings of the 2011 International Workshop on Symbolic-Numeric Computation
Hi-index | 0.00 |