Informatics Report Series



Related Pages

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

Title:Automated discovery of inductive theorems.
Authors: Roy McCasland ; Alan Bundy ; Serge Autexier
Date:Jul 2007
Publication Title:From Insight to Proof
Publisher:University of Bialystok
Publication Type:Book Chapter Publication Status:Published
Volume No:10(23) Page Nos:135-150
Inductive mathematical theorems have, as a rule, historically been quite difficult to prove - both for mathematics students and for automated theorem provers. That said, there has been considerable progress over the past several years, within the automated reasoning community, towards proving some of these theorems. However, little work has been done thus far towards automatically discovering them. In this paper we present our methods of discovering (as well as proving) inductive theorems, within an automated system. These methods have been tested over the natural numbers, with regards to addition and multiplication, as well as to exponents of group elements.
2007 by The University of Bialystok. All Rights Reserved
Links To Paper
1st Link
Bibtex format
author = { Roy McCasland and Alan Bundy and Serge Autexier },
title = {Automated discovery of inductive theorems.},
book title = {From Insight to Proof},
publisher = {University of Bialystok},
year = 2007,
month = {Jul},
volume = {10(23)},
pages = {135-150},
url = {},

Home : Publications : Report 

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