Generating readable diagrammatic proofs

Burton, Jim and Linker, Sven (2015) Generating readable diagrammatic proofs. In: 2015 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC) :. IEEE, USA. ISBN 9781467374576

Full text not available from this repository.


We present ongoing work to understand and formalise notions of “readability” in diagrammatic proofs and to use these results to extend an existing Euler diagram proof system. This work is in its early stages. We outline our intentions to define a theoretical framework, based on an empirical study, that maps users' varying cognitive preferences to corresponding proof strategies. The framework will be used to extend a theorem prover based on Euler diagrams, enabling users of the system to select from among the strategies while constructing proofs.

Item Type:
Contribution in Book/Report/Proceedings
ID Code:
Deposited By:
Deposited On:
22 Jun 2021 13:10
Last Modified:
28 Nov 2023 10:39