References
Sven Delarivière
with Van Kerkhove, B. (2017). The "artificial mathematician" objection: exploring the (im)possibility of automating mathematical understanding. In B. Sriraman (Ed.). Humanizing mathematics and its philosophy (pp. 173-198). Basel: Birkhäuser.