Quantifier Elimination for Formulas Constrained by Quadratic Equations.

Hoon Hong

Browse the full ISSAC paper archive.