Cylindrical Algebraic Decomposition I: The Basic Algorithm
- 1 November 1984
- journal article
- Published by Society for Industrial & Applied Mathematics (SIAM) in SIAM Journal on Computing
- Vol. 13 (4), 865-877
- https://doi.org/10.1137/0213054
Abstract
No abstract availableThis publication has 14 references indexed in Scilit:
- A polynomial-time algorithm for the topological type of a real algebraic curveRocky Mountain Journal of Mathematics, 1984
- Factorization of PolynomialsPublished by Springer Nature ,1982
- Real Zeros of PolynomialsPublished by Springer Nature ,1982
- Equations and Rewrite Rules: A SurveyPublished by Elsevier ,1980
- A note on simplification orderingsInformation Processing Letters, 1979
- Counting types of rigid frameworksInventiones Mathematicae, 1979
- The Computational Complexity of Logical TheoriesLecture Notes in Mathematics, 1979
- Quantifier Elimination for Real Closed Fields by Cylindrical Algebraic DecompositionACM SIGSAM Bulletin, 1976
- Quantifier elimination for real closed fields by cylindrical algebraic decompostionPublished by Springer Nature ,1975
- On Euclid's Algorithm and the Theory of SubresultantsJournal of the ACM, 1971