Quantifier elimination for real closed fields by cylindrical algebraic decomposition-preliminary report

Abstract

Tarski in 1948, [18] published a quantifier elimination method for the elementary theory of real closed fields (which he had discovered in 1930). As noted by Tarski, any quantifier elimination method for this theory also provides a decision method, which enables one to decide whether any sentence of the theory is true or false. Since many important and… (More)
DOI: 10.1145/1086837.1086852

Topics

Figures and Tables

Sorry, we couldn't extract any figures or tables for this paper.

Statistics

050201520162017
Citations per Year

Citation Velocity: 18

Averaging 18 citations per year over the last 3 years.

Learn more about how we calculate this metric in our FAQ.