Validating the Completeness of the Real Solution Set of a System of Polynomial Equations.

Daniel A. Brake, Jonathan D. Hauenstein, Alan C. Liddell Jr.

Browse the full ISSAC paper archive.