Valeria Giardino
2009
Rivista di estetica 42
2012
Philosophia Scientiae 16/1
An inquiry into the practice of proving in low-dimensional topology
2015
in: From logic to practice, Dordrecht : Springer
Diagrammatic reasoning in mathematics
2017
in: Springer handbook of model-based science, Dordrecht : Springer