×

zbMATH — the first resource for mathematics

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).

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