17 citations · 21 across the 3 of their papers we have counts for
1 paper · 1 filter
J. B. Lasserre, M. Laurent, P. Rostalski
We provide a real algebraic symbolic-numeric algorithm for computing the real variety VR(I) of an ideal I, assuming it is finite while VC(I) may not be. Our approach uses s…