Variant real quantifier elimination
Hoon Hong, Mohab Safey El Din · 2009
We study a variant of the real quantifier elimination problem (QE). The variant problem requires the input to satisfy a certain extra condition, and allows the ouput to be almost equivalent to the input. In a sense, we are strengthening the pre-condition and weakening the post-condition of the standard QE problem.