Computing the real variety of an ideal: a real algebraic and symbolic-numeric algorithm.

Jean B. Lasserre, Monique Laurent, Philipp Rostalski

Browse the full SAC paper archive.