Simplification of Cylindrical Algebraic Formulas.

Changbo Chen, Marc Moreno Maza

Browse the full CASC paper archive.