A theoretical analysis of hierarchical proofs (2003)
| Venue: | In Asperti et al |
| Citations: | 3 - 2 self |
BibTeX
@INPROCEEDINGS{Cairns03atheoretical,
author = {Paul Cairns and Jeremy Gow},
title = {A theoretical analysis of hierarchical proofs},
booktitle = {In Asperti et al},
year = {2003},
pages = {175--187},
publisher = {Springer}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
www.uclic.ucl.ac.uk/imp Abstract. Hierarchical proof presentations are ubiquitous within logic and computer science, but have made little impact on mathematics in general. The reasons for this are not currently known, and need to be understood if mathematical knowledge management systems are to gain acceptance in the mathematical community. We report on some initial experiments with three users of a set of web-based hierarchical proofs, which suggest that usability problems could be a factor. In order to better understand these problems we present a theoretical analysis of hierarchical proofs using Cognitive Dimensions [6]. The analysis allows us to formulate some concrete hypotheses about the usability of hierarchical proof presentations. 1
