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