Model-based reasoning in mathematical practice

2017

Joachim Frans, Isar Goyvaerts, Bart Van Kerkhove

in: Springer handbook of model-based science, Berlin,

The "artificial mathematician" objection

exploring the (im)possibility of automating mathematical understanding

2017

Sven Delarivière, Bart Van Kerkhove

in: Humanizing mathematics and its philosophy, Basel,

Mathematical practice and naturalist epistemology

structures with potential for interaction

2005

Bart Van Kerkhove, Jean P. Van Bendegem

Philosophia Scientiae 9 (2)