@inproceedings{49ff80d188c44de4a2e3b932f433ceaa,
title = "An Experimental Comparison of Diagrammatic and Algebraic Logics",
abstract = "We have developed a diagrammatic logic for theorem proving, focusing on the domain of metric-space analysis (a geometric domain, but traditionally taught using a dry algebraic formalism). To evaluate its pragmatic value, pilot experiments were conducted using this logic - implemented in an interactive theorem prover - to teach undergraduate students (and comparing performance against an equivalent algebraic logic). Our results show significantly better performance for students using diagrammatic reasoning. We conclude that diagrams are a useful tool for reasoning in such domains.",
author = "Alan Bundy and C. Gurr and M. Jamnik and Daniel Winterstein",
year = "2004",
doi = "10.1007/978-3-540-25931-2_57",
language = "English",
isbn = "978-3-540-21268-3",
series = "Lecture Notes in Computer Science",
publisher = "Springer Berlin Heidelberg",
pages = "432--434",
booktitle = "Diagrammatic Representation and Inference",
}