Improving the Use of Equational Constraints in Cylindrical Algebraic Decomposition.

Matthew England, Russell J. Bradford, James H. Davenport

Browse the full ISSAC paper archive.