Zeros, multiplicities, and idempotents for zero-dimensional systems

On the combinatorial and algebraic complexity of quantifier elimination

Journal of the ACM (JACM)

A new algorithm for the geometric decomposition of a variety

ISSAC '99 Proceedings of the 1999 international symposium on Symbolic and algebraic computation

Bounds on numers of vectors of multiplicities for polynomials which are easy to compute

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

A New Criterion for Normal Form Algorithms

AAECC-13 Proceedings of the 13th International Symposium on Applied Algebra, Algebraic Algorithms and Error-Correcting Codes

Polar varieties and computation of one point in each connected component of a smooth real algebraic set

ISSAC '03 Proceedings of the 2003 international symposium on Symbolic and algebraic computation

Complexity results for triangular sets

Journal of Symbolic Computation - Special issue: International symposium on symbolic and algebraic computation (ISSAC 2002)

Sharp estimates for triangular sets

ISSAC '04 Proceedings of the 2004 international symposium on Symbolic and algebraic computation

Polynomial equation solving by lifting procedures for ramified fibers

Theoretical Computer Science - Algebraic and numerical algorithm

Root isolation for bivariate polynomial systems with local generic position method

Proceedings of the 2009 international symposium on Symbolic and algebraic computation

Bit-size estimates for triangular sets in positive dimension

Journal of Complexity

Root isolation of zero-dimensional polynomial systems with linear univariate representation

Journal of Symbolic Computation

Improved explicit estimates on the number of solutions of equations over a finite field

Finite Fields and Their Applications

On the complexity of computing with zero-dimensional triangular sets

Journal of Symbolic Computation

Local generic position for root isolation of zero-dimensional triangular polynomial systems

CASC'12 Proceedings of the 14th international conference on Computer Algebra in Scientific Computing

Separating linear forms for bivariate systems

Proceedings of the 38th international symposium on International symposium on symbolic and algebraic computation

Rational univariate representations of bivariate systems and applications

Proceedings of the 38th international symposium on International symposium on symbolic and algebraic computation