Abstract
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.
Reprinted with permission from Proceedings of the International Symposium on Symbolic & Algebraic Computation, edited by S. Watanabe and M. Nagata, ACM Press, 1990, pp. 261–264. Copyright 1990, Association for Computing Machinery, Inc.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1998 Springer-Verlag/Wien
About this paper
Cite this paper
Hong, H. (1998). An Improvement of the Projection Operator in Cylindrical Algebraic Decomposition. In: Caviness, B.F., Johnson, J.R. (eds) Quantifier Elimination and Cylindrical Algebraic Decomposition. Texts and Monographs in Symbolic Computation. Springer, Vienna. https://doi.org/10.1007/978-3-7091-9459-1_8
Download citation
DOI: https://doi.org/10.1007/978-3-7091-9459-1_8
Publisher Name: Springer, Vienna
Print ISBN: 978-3-211-82794-9
Online ISBN: 978-3-7091-9459-1
eBook Packages: Springer Book Archive