Formula Simplification for Real Quantifier Elimination Using Geometric Invariance.

Hidenao Iwane, Hirokazu Anai

Browse the full ISSAC paper archive.