Collins, George E. 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). Page: −5 −4 −3 −2 −1 ±0 +1 +2 +3 +4 +5 Show Scanned Page Cited in 25 ReviewsCited in 349 Documents MSC: 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 × Cite Format Result Cite Review PDF