Visual proofs as counterexamples to the standard view of informal mathematical proofs? (English) Zbl 1524.00011
Giardino, Valeria (ed.) et al., Diagrammatic representation and inference. 13th international conference, Diagrams 2022, Rome, Italy, September 14–16, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13462, 37-53 (2022).