Simplification of Truth-Invariant Cylindrical Algebraic Decompositions.

Christopher W. Brown

Browse the full ISSAC paper archive.