A prolongation-projection algorithm for computing the finite real variety of an ideal

J. B. Lasserre, M. Laurent, P. Rostalski

We provide a real algebraic symbolic-numeric algorithm for computing the real variety $V_R(I)$ of an ideal $I$, assuming it is finite while $V_C(I)$ may not be. Our approach uses s…