An Improvement of the Projection Operator in Cylindrical Algebraic Decomposition

  • Hoon Hong
Conference paper
Part of the Texts and Monographs in Symbolic Computation book series (TEXTSMONOGR)


The cylindrical algebraic decomposition (CAD) of Collins (1975) provides a potentially powerful method for solving many important mathematical problems, provided that the required amount of computation can be sufficiently reduced. An important component of the CAD method is the projection operation. Given a set A of r-variate polynomials, the projection operation produces a certain set P of (r − l)-variate polynomials such that a CAD of r-dimensional space for A can be constructed from a CAD of (r − 1)-dimensional space for P. The CAD algorithm begins by applying the projection operation repeatedly, beginning with the input polynomials, until univariate polynomials are obtained. This process is called the projection phase.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag/Wien 1998

Authors and Affiliations

  • Hoon Hong

There are no affiliations available

Personalised recommendations