
References
Bart Van Kerkhove
The "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
