149 citations · 517 across the 29 of their papers we have counts for
Showing 2006Show all
2 papers · 1 filter
cs.LO2006
Quantifier elimination for the reals with a predicate for the powers of two
Jeremy Avigad, Yimu Yin
In 1985, van den Dries showed that the theory of the reals with a predicate for the integer powers of two admits quantifier elimination in an expanded language, and is hence decida…
cs.LO2006★ 6 cited
Combining decision procedures for the reals
Jeremy Avigad, Harvey Friedman
<p>We address the general problem of determining the validity of boolean combinations of equalities and inequalities between real-valued expressions. In particular, we consider met…