Quantifier elimination for real closed fields by cylindrical algebraic decompostion
- 1 January 1975
- book chapter
- Published by Springer Nature
- p. 134-183
- https://doi.org/10.1007/3-540-07407-4_17
Abstract
No abstract availableThis publication has 15 references indexed in Scilit:
- Multivariate Polynomial FactorizationJournal of the ACM, 1975
- Quantifier elimination for real closed fields by cylindrical algebraic decomposition--preliminary reportACM SIGSAM Bulletin, 1974
- The minimum root separation of a polynomialMathematics of Computation, 1974
- An inequality about factors of polynomialsMathematics of Computation, 1974
- Integer Arithmetic Algorithms for Polynomial Real Zero DeterminationJournal of the ACM, 1971
- The Calculation of Multivariate Polynomial ResultantsJournal of the ACM, 1971
- On Euclid's Algorithm and the Computation of Polynomial Greatest Common DivisorsJournal of the ACM, 1971
- On Euclid's Algorithm and the Theory of SubresultantsJournal of the ACM, 1971
- Decision procedures for real and p‐adic fieldsCommunications on Pure and Applied Mathematics, 1969
- Subresultants and Reduced Polynomial Remainder SequencesJournal of the ACM, 1967