Loading...
Please wait, while we are loading the content...
Similar Documents
Quantifier elimination for real algebra - the cubic case (1994).
| Content Provider | CiteSeerX |
|---|---|
| Author | Weispfenning, Volker |
| Abstract | We present a special purpose quantifier elimination method that eliminates a quantifier 9x in formulas 9x(') where ' 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. |
| File Format | |
| Publisher Date | 1994-01-01 |
| Access Restriction | Open |
| Subject Keyword | Cubic Case Real Algebra Special Purpose Loo Weispf Small Example Similar Advantage Practical Significance Elimination Method Boolean Combination Polynomial Inequality Explicit Parametric Solution Virtual Substitution Linear Case Similar Upper Complexity Bound Quadratic Case Parametrized Test Point |
| Content Type | Text |
