Jeremy R Johnson

• Quantifier Elimination and Cylindrical Algebraic Decomposition