Statistics
Publications
8
Citations
327
H-Index
8
Active since
2007
John Mumma is an author at Carnegie Mellon University specializing in geometry, mathematics, and geometric reasoning.
Publications per year
2007–2021
8
8
A FORMAL SYSTEM FOR EUCLID’S<i>ELEMENTS</i>
Jeremy Avigad, Edward Dean, John Mumma · The Review of Symbolic Logic · 2009 · 144 citations · Full text
John Mumma · Synthese · 2009 · 94 citations
Constructive geometrical reasoning and diagrams
John Mumma · Synthese · 2011 · 19 citations
1–5 of 8