Real quantifier elimination in practice

We give a survey of three implemented rear quantifier elimination methods: partial cylindrical algebraic decomposition, virtual substitution of test terms, and a combination of Grobner basis computations with multivariate real root counting. We examine the scope of these implementations for applications in various fields of science, engineering, and economics.