Collins, G. E. Quantifier elimination for real closed fields: A guide to the literature. (English) Zbl 0495.03016 Computer algebra, symbolic and algebraic computation, Comput. Suppl. 4, 79-81 (1982). Page: −5 −4 −3 −2 −1 ±0 +1 +2 +3 +4 +5 Show Scanned Page Cited in 2 ReviewsCited in 8 Documents MSC: 03C10 Quantifier elimination, model completeness, and related topics 68W30 Symbolic computation and algebraic computation 03B25 Decidability of theories and sets of sentences 03-02 Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations 03G15 Cylindric and polyadic algebras; relation algebras 03C60 Model-theoretic algebra Keywords:quantifier elimination algorithms for the elementary theory of real closed fields; cylindrical algebraic decomposition method Citations:Zbl 0491.00019 PDF BibTeX XML