Quantifier Elimination for Real Closed Fields: A Guide to the Literature
- 1 January 1982
- book chapter
- Published by Springer Nature in Computing Supplementum
Abstract
No abstract availableThis publication has 7 references indexed in Scilit:
- Quantifier Elimination for Real Closed Fields by Cylindrical Algebraic DecompositionACM SIGSAM Bulletin, 1976
- Problem #9ACM SIGSAM Bulletin, 1975
- Quantifier elimination for real closed fields by cylindrical algebraic decompostionPublished by Springer Nature ,1975
- Quantifier elimination for real closed fields by cylindrical algebraic decomposition--preliminary reportACM SIGSAM Bulletin, 1974
- Decision procedures for real and p‐adic fieldsCommunications on Pure and Applied Mathematics, 1969
- A New Decision Method for Elementary AlgebraAnnals of Mathematics, 1954
- A Decision Method for Elementary Algebra and GeometryPublished by University of California Press ,1951