@article {4443714,
	title = {Mathematical proofs in practice: Revisiting the reliability of published mathematical proofs},
	journal = {Theoria. Revista de Teor{\'\i}a, Historia y Fundamentos de la Ciencia},
	volume = {29},
	number = {3},
	year = {2015},
	pages = {345{\textendash}360},
	author = {Frans, Joachim and Kosolosky, Laszlo}
}
@article {frans2014mechanistic,
	title = {Mechanistic Explanation and Explanatory Proofs in Mathematics},
	journal = {Philosophia Mathematica},
	volume = {22},
	number = {2},
	year = {2014},
	pages = {231{\textendash}248},
	abstract = {<p>Although there is a consensus among philosophers of mathematics and mathematicians that mathematical explanations exist, only a few authors have proposed accounts of explanation in mathematics. These accounts fit into the unificationist or top-down approach to explanation. We argue that these models can be complemented by a bottom-up approach to explanation in mathematics. We introduce the mechanistic model of explanation in science and discuss the possibility of using this model in mathematics, arguing that using it does not presuppose a Platonist view of mathematics and allows one to gain insight into why a theorem is true by answering what-if-things-had-been-different questions.</p>},
	doi = {10.1093/philmat/nku003},
	author = {Frans, Joachim and Weber, Erik}
}
