On Projection in CAD-Based Quantifier Elimination with Equational Constraint.

Scott McCallum

Browse the full ISSAC paper archive.