57 citations · 78 across the 5 of their papers we have counts for
Showing cs.LOShow all
2 papers · 1 filter
cs.LO2008
A language for mathematical knowledge management
Steven Kieffer, Jeremy Avigad, Harvey Friedman
We argue that the language of Zermelo Fraenkel set theory with definitions and partial functions provides the most promising bedrock semantics for communicating and sharing mathema…
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…