An improved projection operation for cylindrical algebraic decomposition of three-dimensional space
- 1 February 1988
- journal article
- Published by Elsevier in Journal of Symbolic Computation
- Vol. 5 (1-2) , 141-161
Abstract
No abstract availableKeywords
This publication has 5 references indexed in Scilit:
- Cylindrical Algebraic Decomposition I: The Basic AlgorithmSIAM Journal on Computing, 1984
- Factorization of Polynomials1982
- Computing in Algebraic Extensions1982
- On Euclid's Algorithm and the Theory of SubresultantsJournal of the ACM, 1971
- Studies in Equisingularity II. Equisingularity in Codimension 1 (and Characteristic Zero)American Journal of Mathematics, 1965