Polar Varieties, Real Equation Solving, and Data Structures: The Hypersurface Case.

Bernd Bank Marc Giusti Joos Heintz Guy M. Mbakop Polar Varieties, Real Equation Solving, and Data Structures: The Hypersurface Case. 5-27 1997 13 J. Complexity 1 http://dx.doi.org/10.1006/jcom.1997.0432 db/journals/jc/jc13.html#BankGHM97