An Improved Algorithm for Quantifier Elimination Over Real Closed Fields.

Saugata Basu

Browse the full FOCS paper archive.