Efficient Algorithms Based on Critical Points Method.
F. Rouillier. Algorithmic and Quantitative Aspects of Real Algebraic Geometry in Mathematics and Computer Science, volume 60 of DIMACS Series in Discrete Mathematics and Theoretical Computer Science, page 123-138. DIMACS/AMS, (2001)