On delineability of varieties in CAD-based quantifier elimination with two equational constraints.

Scott McCallum, Christopher W. Brown

Browse the full ISSAC paper archive.