Projection and Quantifier Elimination Using Non-uniform Cylindrical Algebraic Decomposition.

Christopher W. Brown

Browse the full ISSAC paper archive.