Improved Algorithms for Sign Determination and Existential Quantifier Elimination
Improved Algorithms for Sign Determination and Existential Quantifier Elimination
Recently there has been a lot of activity in algorithms that work over real closed fields, and that perform such calculations as quantifier elimination or computing connected components of semi-algebraic sets. A cornerstone of this work is a symbolic sign determination algorithm due to Ben-Or, Kozen and Reif [2]. In …