Enhancements to Lazard's Method for Cylindrical Algebraic Decomposition.

Christopher W. Brown, Scott McCallum

Browse the full CASC paper archive.