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,

Consequences of a diagrammatic representation of paul cohen's forcing technique based on C.S. Peirce's existential graphs

2010

Gianluca Caterina, Rocco Gangle

in: Model-based reasoning in science and technology, Berlin,