Cylindrical algebraic decomposition I: the basic algorithm
SIAM Journal on Computing
Computer algebra: symbolic and algebraic computation (2nd ed.)
A cluster-based cylindrical algebraic decomposition algorithm
Journal of Symbolic Computation
On mechanical quantifier elimination for elementary algebra and geometry
Journal of Symbolic Computation
Hauptvortrag: Quantifier elimination for real closed fields by cylindrical algebraic decomposition
Proceedings of the 2nd GI Conference on Automata Theory and Formal Languages
Polynomial real root isolation using Descarte's rule of signs
SYMSAC '76 Proceedings of the third ACM symposium on Symbolic and algebraic computation
Algorithms for the geometry of semi-algebraic sets
Algorithms for the geometry of semi-algebraic sets
ISSAC '92 Papers from the international symposium on Symbolic and algebraic computation
Real algebraic number computation using interval arithmetic
ISSAC '92 Papers from the international symposium on Symbolic and algebraic computation
Sufficiency analysis for the calculus of variations
ISSAC '94 Proceedings of the international symposium on Symbolic and algebraic computation
Efficient isolation of polynomial's real roots
Journal of Computational and Applied Mathematics - Special issue: Proceedings of the international conference on linear algebra and arithmetic, Rabat, Morocco, 28-31 May 2001
Almost tight recursion tree bounds for the Descartes method
Proceedings of the 2006 international symposium on Symbolic and algebraic computation
New bounds for the Descartes method
Journal of Symbolic Computation
Algebraic and numerical algorithms
Algorithms and theory of computation handbook
Differential dynamic logics: automated theorem proving for hybrid systems
Differential dynamic logics: automated theorem proving for hybrid systems
| Hi-index | 0.00 |