A Poly-algorithmic Approach to Quantifier Elimination.

James H. Davenport, Zak P. Tonks, Ali Kemal Uncu

Browse the full SYNASC paper archive.