TY - RPRT TI - A prolongation-projection algorithm for computing the finite real variety of an ideal AU - J. B. Lasserre AU - M. Laurent AU - P. Rostalski PY - 2009 UR - https://arxiv.org/abs/0806.3874 ID - 0806.3874 ER -