Home > Research > Publications & Outputs > Generating readable diagrammatic proofs

Research

Links

Text available via DOI:

View graph of relations

Generating readable diagrammatic proofs

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

Published

Standard

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

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

Harvard

Burton, J & Linker, S 2015, Generating readable diagrammatic proofs. in 2015 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC). IEEE, Symposium on Visual Languages and Human-Centric Computing , Atlanta, Georgia, United States, 18/10/15. https://doi.org/10.1109/VLHCC.2015.7357240

APA

Burton, J., & Linker, S. (2015). Generating readable diagrammatic proofs. In 2015 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC) IEEE. https://doi.org/10.1109/VLHCC.2015.7357240

Vancouver

Burton J, Linker S. Generating readable diagrammatic proofs. In 2015 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC). IEEE. 2015 Epub 2015 Oct 18. doi: 10.1109/VLHCC.2015.7357240

Author

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

Bibtex

@inproceedings{9dcab8357ae34b4b809d85d3ceb7551c,
title = "Generating readable diagrammatic proofs",
abstract = "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.",
author = "Jim Burton and Sven Linker",
year = "2015",
month = dec,
day = "17",
doi = "10.1109/VLHCC.2015.7357240",
language = "English",
booktitle = "2015 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC)",
publisher = "IEEE",
note = "Symposium on Visual Languages and Human-Centric Computing , VL/HCC ; Conference date: 18-10-2015 Through 22-10-2015",

}

RIS

TY - GEN

T1 - Generating readable diagrammatic proofs

AU - Burton, Jim

AU - Linker, Sven

PY - 2015/12/17

Y1 - 2015/12/17

N2 - 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.

AB - 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.

U2 - 10.1109/VLHCC.2015.7357240

DO - 10.1109/VLHCC.2015.7357240

M3 - Conference contribution/Paper

BT - 2015 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC)

PB - IEEE

T2 - Symposium on Visual Languages and Human-Centric Computing

Y2 - 18 October 2015 through 22 October 2015

ER -