Нашли опечатку? Выделите ее мышкой и нажмите Ctrl+Enter
Название: Quantifier elimination for real algebra - the cubic case
Автор: Weispfenning V.
We present a special purpose quantifier elimination method that eliminates a quantifier "exists x" in formulas "exists x(phi)" where phi is a boolean combination of polynomial inequalities of degree <=3 with respect to x. The method extends the virtual substitution of parametrized test points developed in [Weispfenning 1, Loos & Weispf.] for the linear case and in [Weispfenning 2] for the quadratic case. It has similar upper complexity bounds and offers similar advantages (relatively large preprocessing part, explicit parametric solutions). Small examples suggest that the method will be of practical significance.