Approaches to parallel quantifier elimination

The complexity of linear problems in fields

Journal of Symbolic Computation

Real quantifier elimination is doubly exponential

Journal of Symbolic Computation

An improved projection operation for cylindrical algebraic decomposition of three-dimensional space

Journal of Symbolic Computation

A parallel implementation of the cylindrical algebraic decomposition algorithm

ISSAC '89 Proceedings of the ACM-SIGSAM 1989 international symposium on Symbolic and algebraic computation

An improvement of the projection operator in cylindrical algebraic decomposition

ISSAC '90 Proceedings of the international symposium on Symbolic and algebraic computation

Partial Cylindrical Algebraic Decomposition for quantifier elimination

Journal of Symbolic Computation

On the computational complexity and geometry of the first-order theory of the reals. Part II: The general decision problem. Preliminaries for quantifier elimination

Journal of Symbolic Computation

Simple solution formula construction in cylindrical algebraic decomposition based quantifier elimination

ISSAC '92 Papers from the international symposium on Symbolic and algebraic computation

Comprehensive Gro¨bner bases

Journal of Symbolic Computation

Quantifier elimination for formulas constrained by quadratic equations

ISSAC '93 Proceedings of the 1993 international symposium on Symbolic and algebraic computation

Quantifier elimination for real algebra—the cubic case

ISSAC '94 Proceedings of the international symposium on Symbolic and algebraic computation

The design of the SACLIB/PACLIB kernels

Journal of Symbolic Computation - Special issue on design and implementation of symbolic computation systems

A case study of multi-threaded Gröbner basis completion

ISSAC '96 Proceedings of the 1996 international symposium on Symbolic and algebraic computation

REDLOG: computer algebra meets computer logic

ACM SIGSAM Bulletin

Simulation and optimization by quantifier elimination

Journal of Symbolic Computation - Special issue: applications of quantifier elimination

Simplification of quantifier-free formulae over ordered fields

Journal of Symbolic Computation - Special issue: applications of quantifier elimination

On the walk

Theoretical Computer Science - Special volume on computer algebra

A New Approach for Automatic Theorem Proving in Real Geometry

Journal of Automated Reasoning

PARSAC-2: A Parallel SAC-2 Based on Threads

AAECC-8 Proceedings of the 8th International Symposium on Applied Algebra, Algebraic Algorithms and Error-Correcting Codes

Distributed Symbolic Computation with DTS

IRREGULAR '95 Proceedings of the Second International Workshop on Parallel Algorithms for Irregularly Structured Problems

Parallelization of Quantifier Elimination on a Workstation Network

AAECC-10 Proceedings of the 10th International Symposium on Applied Algebra, Algebraic Algorithms and Error-Correcting Codes

Hauptvortrag: Quantifier elimination for real closed fields by cylindrical algebraic decomposition

Proceedings of the 2nd GI Conference on Automata Theory and Formal Languages

The SAC-2 Computer Algebra System

EUROCAL '85 Research Contributions from the European Conference on Computer Algebra-Volume 2

The S-Threads Environment for Parallel Symbolic Computation

Proceedings of the Second International Workshop on Computer Algebra and Parallelism