Informatics Report Series



Related Pages

Report (by Number) Index
Report (by Date) Index
Author Index
Institute Index

Title:Ascertaining Mathematical Theorems
Authors: Roy McCasland ; Alan Bundy ; Patrick Smith
Date: 2006
Publication Title:Electronic Notes in Theoretical Computer Science (ENTCS)
Publication Type:Conference Paper Publication Status:Published
Volume No:151(1) Page Nos:21-38
Whereas to most logicians, the word "theorem" refers to any statement which has been shown to be true, to mathematicians, the workd "Theorem" is, relatively speaking, rarely applied, and denotes something fra more special. In this paper, we examine some of the underlying reasons behind this difference in terminology, and we show how this discrepancy might be exploited, in order to build a computer system which automatically selects the latter type of "Theorems" from amongst the former. Indeed, we have begun building the automated discovery system MATHsAiD, the design of which is based upon our research. We provide some preliminary results produced by this system, and compare these results to Theorems appearing in various mathematics textbooks.
Links To Paper
1st Link
2nd Link
Bibtex format
author = { Roy McCasland and Alan Bundy and Patrick Smith },
title = {Ascertaining Mathematical Theorems},
book title = {Electronic Notes in Theoretical Computer Science (ENTCS)},
publisher = {Elsevier},
year = 2006,
volume = {151(1)},
pages = {21-38},
url = {},

Home : Publications : Report 

Please mail <> with any changes or corrections.
Unless explicitly stated otherwise, all material is copyright The University of Edinburgh