arXiv subjects

John Mumma

Publications and source records attributed to John Mumma.

1 recordsLinked to original sources

arXiv2009

We present a formal system, E, which provides a faithful model of the proofs in Euclid's Elements, including the use of diagrammatic reasoning.

math.LO↗