
References
Bart Van Kerkhove
in English
XThe "artificial mathematician" objection: exploring the (im)possibility of automating mathematical understanding

Model-based reasoning in mathematical practice
2017
with Frans Joachim, Goyvaerts Isar
in: Springer handbook of model-based science, Dordrecht : Springer
