Lower bounds on testing membership to a polyhedron by algebraic decision trees
STOC '94 Proceedings of the twenty-sixth annual ACM symposium on Theory of computing
On the combinatorial and algebraic complexity of quantifier elimination
Journal of the ACM (JACM)
Computing roadmaps of semi-algebraic sets (extended abstract)
STOC '96 Proceedings of the twenty-eighth annual ACM symposium on Theory of computing
On bounding the Betti numbers and computing the Euler characteristic of semi-algebraic sets
STOC '96 Proceedings of the twenty-eighth annual ACM symposium on Theory of computing
ISSAC '98 Proceedings of the 1998 international symposium on Symbolic and algebraic computation
ISSAC '98 Proceedings of the 1998 international symposium on Symbolic and algebraic computation
Computer algebra handbook
A poly-algorithmic approach to simplifying elementary functions
ISSAC '04 Proceedings of the 2004 international symposium on Symbolic and algebraic computation
Counting complexity classes for numeric computations II: algebraic and semialgebraic sets
STOC '04 Proceedings of the thirty-sixth annual ACM symposium on Theory of computing
Computing the first Betti number and the connected components of semi-algebraic sets
Proceedings of the thirty-seventh annual ACM symposium on Theory of computing
Adherence is better than adjacency: computing the Riemann index using CAD
Proceedings of the 2005 international symposium on Symbolic and algebraic computation
A numerical algorithm for zero counting, I: Complexity and accuracy
Journal of Complexity
Inclusion dynamics hybrid automata
Information and Computation
Hybrid Automata in Systems Biology: How Far Can We Go?
Electronic Notes in Theoretical Computer Science (ENTCS)
Hybrid automata, reachability, and Systems Biology
Theoretical Computer Science
An efficient algorithm for the sign condition problem in the semi-algebraic context
GMP'10 Proceedings of the 6th international conference on Advances in Geometric Modeling and Processing
Verified error bounds for real solutions of positive-dimensional polynomial systems
Proceedings of the 38th international symposium on International symposium on symbolic and algebraic computation
Finding points on real solution components and applications to differential polynomial systems
Proceedings of the 38th international symposium on International symposium on symbolic and algebraic computation
Numerically Computing Real Points on Algebraic Sets
Acta Applicandae Mathematicae: an international survey journal on applying mathematics and mathematical applications
| Hi-index | 0.00 |