Faster One Block Quantifier Elimination for Regular Polynomial Systems of Equations.

Huu Phuoc Le, Mohab Safey El Din

Browse the full ISSAC paper archive.