Real Quantifier Elimination by Computation of Comprehensive Grbner Systems.

Ryoya Fukasaku, Hidenao Iwane, Yosuke Sato

Browse the full ISSAC paper archive.