Informatics Report Series



Related Pages

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

Title:The Automation Of Proof By Mathematical Induction
Authors: Alan Bundy
Date:Apr 1999
Publication Title:Handbook of Automated Reasoning
This paper is a chapter of the Handbook of Automated Reasoning edited by Voronkov and Robinson. It describes techniques for automated reasoning in theories containing rules of mathematical induction. Firstly, inductive reasoning is defined and its importance fore reasoning about any form of repitition is stressed. Then the special search problems that arise in inductive theories are explained followed by descriptions of the heuristic methods that have been devised to solve these problems.
Links To Paper
No links available
Bibtex format
author = { Alan Bundy },
title = {The Automation Of Proof By Mathematical Induction},
year = 1999,
month = {Apr},

Home : Publications : Report 

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