149 citations · 517 across the 29 of their papers we have counts for
Showing 2008Show all
3 papers · 1 filter
math.LO2008★ 149 cited
A formal system for Euclid's Elements
Jeremy Avigad, Edward Dean, John Mumma
We present a formal system, E, which provides a faithful model of the proofs in Euclid's Elements, including the use of diagrammatic reasoning.
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…
math.LO2008
Functional interpretation and inductive definitions
Jeremy Avigad, Henry Towsner
Extending Gödel's \emph{Dialectica} interpretation, we provide a functional interpretation of classical theories of positive arithmetic inductive definitions, reducing them to theo…