Fabrice Rouillier. Efficient Algorithms Based on Critical Points Method. In Saugata Basu, Laureano González-Vega, editors, DIMACS Workshop on Algorithmic and Quantitative Aspects of Real Algebraic Geometry in Mathematics and Computer Science, March 12-16, 2001, DIMACS Center, Rutgers University, Piscataway, NJ, USA. pages 123-138, American Mathematical Society, 2001.
Abstract is missing.