An Improvement of the Projection Operator in Cylindrical Algebraic Decomposition.

Hoon Hong

Browse the full ISSAC paper archive.