57 citations · 78 across the 5 of their papers we have counts for
1 paper · 1 filter
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…