References
John Mumma
Deduction, diagrams and model-based reasoning
2017
in: Springer handbook of model-based science, Dordrecht : Springer
Constructive geometrical reasoning and diagrams
2012
Synthese 186/1
Proofs, pictures, and euclid
2010
Synthese 175/2
Ensuring generality in Euclid’s diagrammatic arguments
2008
in: Diagrammatic representation and inference, Berlin : Springer