On the combinatorial and algebraic complexity of quantifier elimination
Journal of the ACM (JACM)
Polar varieties, real equation solving, and data structures: the hypersurface case
Journal of Complexity
Complexity of computing the local dimension of a semialgebraic set
Journal of Symbolic Computation
The real dimension problem is NPR -complete
Journal of Complexity
A Gröbner free alternative for polynomial system solving
Journal of Complexity
Hauptvortrag: Quantifier elimination for real closed fields by cylindrical algebraic decomposition
Proceedings of the 2nd GI Conference on Automata Theory and Formal Languages
Randomized and deterministic algorithms for the dimension of algebraic varieties
FOCS '97 Proceedings of the 38th Annual Symposium on Foundations of Computer Science
ISSAC '03 Proceedings of the 2003 international symposium on Symbolic and algebraic computation
Algorithms in Real Algebraic Geometry (Algorithms and Computation in Mathematics)
Algorithms in Real Algebraic Geometry (Algorithms and Computation in Mathematics)
On the geometry of polar varieties
Applicable Algebra in Engineering, Communication and Computing
Generalized polar varieties: geometry and algorithms
Journal of Complexity - Festschrift for the 70th birthday of Arnold Schönhage
Discrete & Computational Geometry
Journal of Symbolic Computation
Exact algorithms for solving stochastic games: extended abstract
Proceedings of the forty-third annual ACM symposium on Theory of computing
Computing a nonnegative matrix factorization -- provably
STOC '12 Proceedings of the forty-fourth annual ACM symposium on Theory of computing
An Incidence Theorem in Higher Dimensions
Discrete & Computational Geometry
Critical points and Gröbner bases: the unmixed case
Proceedings of the 37th International Symposium on Symbolic and Algebraic Computation
Hi-index | 0.00 |