The Readability of diagrammatic proofs

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):


Full Dataset


Actions (Log-in required)

Preview Item Preview Item