MathematicsComputer Science

Quantifier elimination for real closed fields by cylindrical algebraic decomposition

G. Collins

1975Lecture Notes in Computer Science

DOI: 10.1007/978-3-7091-9459-1_4

tlooto Summary

Tarski in 1948, ( Tarski 1951) published a quantifier elimination method for the elementary theory of real closed fields, which provides a decision method, which enables one to decide whether any sentence of the theory is true or false.

Abstract

Abstract is not available.

Citation format

COLLINS, G. Quantifier elimination for real closed fields by cylindrical algebraic decomposition. Lecture Notes in Computer Science, 1975.