Repository landing page

We are not able to resolve this OAI Identifier to the repository landing page. If you are the repository manager for this record, please head to the Dashboard and adjust the settings.
oaioai:era.ed.ac.uk:1842/3394

The Automation Of Proof By Mathematical Induction

Authors
Publication date
1 April 1999
Publisher

Abstract

Chapter appears in Handbook of Automated Reasoning Edited by: Alan Robinson and Andrei Voronkov ISBN: 978-0-444-50813-3This 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

Similar works

Full text

thumbnail-image

This paper was published in Edinburgh Research Archive.

Having an issue?

Is data on this page outdated, violates copyrights or anything else? Report the problem now and we will take corresponding actions after reviewing your request.