Polynomial-time computation of the dimension of algebraic varieties in zero-characteristic

Computing the complexification of a semi-algebraic set

ISSAC '96 Proceedings of the 1996 international symposium on Symbolic and algebraic computation

Computing local dimension of a semialgebraic set

STOC '98 Proceedings of the thirtieth annual ACM symposium on Theory of computing

Computing an equidimensional decomposition of an algebraic variety by means of geometric resolutions

ISSAC '00 Proceedings of the 2000 international symposium on Symbolic and algebraic computation

Computing the equidimensional decomposition of an algebraic closed set by means of lifting fibers

Journal of Complexity

Efficient algorithms in zero-characteristic for a new model of representation of algebraic varieties

CSR'06 Proceedings of the First international computer science conference on Theory and Applications