Partial Cylindrical Algebraic Decomposition for Quantifier Elimination

  • George E. Collins
  • Hoon Hong
Part of the Texts and Monographs in Symbolic Computation book series (TEXTSMONOGR)


Cylindrical Algebraic Decomposition (CAD) by Collins (1975) provides a potentially powerful method for solution of many important mathematical problems by means of quantifier elimination, provided that the required amount of computation can be sufficiently reduced. Arnon (1981) introduced the important method of clustering for reducing the required computation and McCallum (1984) introduced an improved projection operation which is also very effective in reducing the amount of computation. In this paper we introduce yet another method for reducing the amount of computation which we will call partial CAD construction.


Sample Point Real Root Minimal Polynomial Quantifier Elimination Candidate Cell 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag/Wien 1998

Authors and Affiliations

  • George E. Collins
  • Hoon Hong

There are no affiliations available

Personalised recommendations