Bank, Giusti, Heintz, Mbakop, 1997. Polar Varieties, Real Equation Solving, and Data Structures: The Hypersurface Case 13.. https://doi.org/10.1006/jcom.1997.0432