Improving a CGS-QE Algorithm

摘要

A real quantifier elimination algorithm based on computation of comprehensive Groebner systems introduced by Weispfenning and recently improved by us has a weak point that it cannot handle a formula with many inequalities. In this paper, we further improve the algorithm so that we can handle more inequalities.