Approaches to parallel quantifier elimination
- 1 August 1998
- proceedings article
- Published by Association for Computing Machinery (ACM)
Abstract
No abstract availableThis publication has 20 references indexed in Scilit:
- On the walkTheoretical Computer Science, 1997
- REDLOGACM SIGSAM Bulletin, 1997
- On the trace formula for quadratic formsContemporary Mathematics, 1994
- Quantifier Elimination for Formulas Constrained by Quadratic Equations via Slope ResultantsThe Computer Journal, 1993
- Comprehensive Gröbner basesJournal of Symbolic Computation, 1992
- On the computational complexity and geometry of the first-order theory of the reals. Part II: The general decision problem. Preliminaries for quantifier eliminationJournal of Symbolic Computation, 1992
- Partial Cylindrical Algebraic Decomposition for quantifier eliminationJournal of Symbolic Computation, 1991
- An improved projection operation for cylindrical algebraic decomposition of three-dimensional spaceJournal of Symbolic Computation, 1988
- The complexity of linear problems in fieldsJournal of Symbolic Computation, 1988
- Real quantifier elimination is doubly exponentialJournal of Symbolic Computation, 1988