Jean B. Lasserre, Monique Laurent, Philipp Rostalski. A prolongation-projection algorithm for computing the finite real variety of an ideal. Theoretical Computer Science, 410(27-29):2685-2700, 2009. [doi]
@article{LasserreLR09, title = {A prolongation-projection algorithm for computing the finite real variety of an ideal}, author = {Jean B. Lasserre and Monique Laurent and Philipp Rostalski}, year = {2009}, doi = {10.1016/j.tcs.2009.03.024}, url = {http://dx.doi.org/10.1016/j.tcs.2009.03.024}, researchr = {https://researchr.org/publication/LasserreLR09}, cites = {0}, citedby = {0}, journal = {Theoretical Computer Science}, volume = {410}, number = {27-29}, pages = {2685-2700}, }