Polar varieties, real equation solving, and data structures: the hypersurface case

Solving the Birkhoff Interpolation Problem via the Critical Point Method: An Experimental Study

ADG '00 Revised Papers from the Third International Workshop on Automated Deduction in Geometry

Systems of rational polynomial equations have polynomial size approximate zeros on the average

Journal of Complexity

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

Cited References

Computer algebra handbook

Generalized polar varieties: geometry and algorithms

Journal of Complexity - Festschrift for the 70th birthday of Arnold Schönhage

Computing the global optimum of a multivariate polynomial over the reals

Proceedings of the twenty-first international symposium on Symbolic and algebraic computation

On the intrinsic complexity of point finding in real singular hypersurfaces

Information Processing Letters

Generalized polar varieties: geometry and algorithms

Journal of Complexity - Festschrift for the 70th birthday of Arnold Schönhage

Deciding reachability of the infimum of a multivariate polynomial

Proceedings of the 36th international symposium on Symbolic and algebraic computation

Global optimization of polynomials restricted to a smooth variety using sums of squares

Journal of Symbolic Computation

Critical points and Gröbner bases: the unmixed case

Proceedings of the 37th International Symposium on Symbolic and Algebraic Computation

Critical point methods and effective real algebraic geometry: new results and trends

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