
Valeria Giardino
Diagrammatic reasoning in mathematics
2017
in: Springer handbook of model-based science, Dordrecht : Springer

An inquiry into the practice of proving in low-dimensional topology
2015
in: From logic to practice, Dordrecht : Springer
