Peter Ullrich
Technische Universität München, Boltzmannstr, Garching, Germany
Real quantifier elimination is doubly exponential
Journal of Symbolic Computation
SINGULAR: a computer algebra system for polynomial computations
ACM Communications in Computer Algebra