John Mumma

According to our database, John Mumma authored at least 9 papers between 2008 and 2021.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2021

Counterexample Search in Diagram-Based Geometric Reasoning.

Yacin Hamami, John Mumma, Marie Amalric

Cogn. Sci., 2021

2019

The Eu Approach to Formalizing Euclid: A Response to "On the Inconsistency of Mumma's Eu".

John Mumma

Notre Dame J. Formal Log., 2019

2013

Prolegomena to a Cognitive Investigation of Euclidean Diagrammatic Reasoning.

Yacin Hamami, John Mumma

J. Log. Lang. Inf., 2013

2012

Diagrams in mathematics: history and philosophy.

John Mumma, Marco Panza

Synth., 2012

Constructive geometrical reasoning and diagrams.

John Mumma

Synth., 2012

Euclid's diagrammatic logic and cognitive science.

Yacin Hamami, John Mumma

Proceedings of the Logic & Cognition Workshop at ESSLLI 2012, 2012

2010

Proofs, pictures, and Euclid.

John Mumma

Synth., 2010

2009

A Formal System for Euclid's Elements.

Jeremy Avigad, Edward T. Dean, John Mumma

Rev. Symb. Log., 2009

2008

Ensuring Generality in Euclid's Diagrammatic Arguments.

John Mumma

Proceedings of the Diagrammatic Representation and Inference, 5th International Conference, 2008