Burton, James (2021) The Readability of diagrammatic proofs. [Data Collection]
Project Description
A project investigating the "readability" of proofs created automatically by diagrammatic theorem provers. The first stage of the project was to define metrics for readability. In the second stage we tested these in an empirical study. In the final stage we made changes to an existing diagrammatic theorem prover to incorporate our findings.
| Uncontrolled Keywords: | logic logical diagrams Euler diagrams automated theorem proving empirical study |
|---|---|
| Subjects: | X Education > X990 Education not elsewhere classified |
| Departments: | School of Architecture, Technology and Engineering |
| Depositing User: | James Burton |
| Date Deposited: | 05 Feb 2021 12:20 |
| Last Modified: | 23 Jun 2021 11:33 |
| Researchers (inc. External): |
|
https://orcid.org/0000-0002-0738-6677
