Verification and synthesis using real quantifier elimination.

Thomas Sturm, Ashish Tiwari

Browse the full ISSAC paper archive.