Fabrice Rouillier, Marie-Françoise Roy, Mohab Safey El Din. Finding at least one point in each connected component of a real algebraic set defined by a single equation.
Journal of Complexity, Elsevier, 2000, 16 (4), pp.716-750.
⟨10.1006/jcom.2000.0563⟩.
⟨inria-00099275⟩