zbMATH — the first resource for mathematics

Quantifier elimination for real closed fields by cylindrical algebraic decompositon. (English) Zbl 0318.02051
Autom. Theor. form. Lang., 2nd GI Conf., Kaiserslautern 1975, Lect. Notes Comput. Sci. 33, 134-183 (1975).

03C60 Model-theoretic algebra
11R80 Totally real fields
12L99 Connections between field theory and logic
03G15 Cylindric and polyadic algebras; relation algebras
68Q25 Analysis of algorithms and problem complexity
68W99 Algorithms in computer science