A decision method for elementary algebra and geometry. (English) Zbl 0900.03045
Caviness, Bob F. (ed.) et al., Quantifier elimination and cylindrical algebraic decomposition. Proceedings of a symposium, Linz, Austria, October 6–8, 1993. Wien: Springer. Texts and Monographs in Symbolic Computation. 24-84 (1998).
Reprint of: A decision method for elementary algebra and geometry. 2nd ed. (1951; Zbl 0044.25102).
For the entire collection see [Zbl 0906.03033].
For the entire collection see [Zbl 0906.03033].
MSC:
03C10 | Quantifier elimination, model completeness, and related topics |
12L05 | Decidability and field theory |
01A75 | Collected or selected works; reprintings or translations of classics |