Delarivière, Sven; Van Kerkhove, Sven, cThe 8Artificial Mathematician9 Objection: Exploring the (Im)possibility of Automating Mathematical Understandingd, in: B. Sriraman (Hg.), Humanizing Mathematics and its Philosophy, Birkhäuser/Springer: Cham 2017, 1733193
V. Peckhaus, Mathematical Reviews, M51533 (2018).