Faster One Block Quantifier Elimination for Regular Polynomial Systems of Equations

Huu Phuoc Le, Mohab Safey El Din

Quantifier elimination over the reals is a central problem in computational real algebraic geometry, polynomial system solving and symbolic computation. Given a semi-algebraic form…