Solving systems of polynomial inequalities in subexponential time
Journal of Symbolic Computation
Complexity of deciding Tarski algebra
Journal of Symbolic Computation
Computing the complexification of a semi-algebraic set
ISSAC '96 Proceedings of the 1996 international symposium on Symbolic and algebraic computation
Polynomial-time computation of the dimension of algebraic varieties in zero-characteristic
Journal of Symbolic Computation
Complexity and real computation
Complexity and real computation
Randomized and deterministic algorithms for the dimension of algebraic varieties
FOCS '97 Proceedings of the 38th Annual Symposium on Foundations of Computer Science
Hi-index | 0.00 |