On Mathematicians' Different Standards When Evaluating Elementary Proofs. - Matthew Inglis; Juan Pablo Mejia-Ramos; Keith Weber; Lara Alcock (Top. Cogn. Sci., 2013)

Functional explanation in mathematics. - Matthew Inglis; Juan Pablo Mejia-Ramos (Synth., 2021)