|
Abstract : |
The paper describes a format for presenting proofs called structured calculational proof. The format resembles calculational proof, a style of reasoning popular among computer scientists, but extended with structuring facilities. A prototype tool has been developed which allows readers to interactively browse proofs presented in this format via the world wide web. The ability to browse a proof increases its readability, and hence its value as a proof. Computers have been used for some time to both construct and check mathematical proofs, but using them to enhance the readability of proofs is a relatively novel application. This paper was originally presented at the symposium on Logic, Mathematics and the Computer The reference is as follows: Jim Grundy. A browsable format for proof presentation. In Christoffer, |
