@incollection {de2011looking,
	title = {Looking for busy beavers. A socio-philosophical study of a computer-assisted proof},
	booktitle = {Foundations of the Formal Sciences},
	year = {2011},
	pages = {61{\textendash}90},
	publisher = {College Publications},
	abstract = {<p><em>"Young man, in mathematics you don{\textquoteright}t understand things, you just get used to them"</em> John von Neumann</p>},
	author = {De Mol, Liesbeth},
	editor = {Fran{\c c}ois, Karen and L{\"o}we, Benedikt and M{\"u}ller, Thomas and Van Kerkhove, Bart}
}
@incollection {370857,
	title = {Learning concepts through the history of mathematics: the case of symbolic algebra.},
	booktitle = {Philosophical dimensions in mathematics education},
	year = {2007},
	pages = {83{\textendash}103},
	publisher = {Springer},
	isbn = {978-0-387-71571-1},
	author = {Heeffer, Albrecht},
	editor = {Fran{\c c}ois, Karen and Van Bendegem, Jean Paul}
}
