The Readability of diagrammatic proofs
收藏DataCite Commons2021-02-05 更新2024-07-13 收录
下载链接：
https://researchdata.brighton.ac.uk/id/eprint/94
下载链接
链接失效反馈官方服务：
资源简介：
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.
提供机构：
University of Brighton
创建时间：
2021-02-05
