Edinburgh Research Explorer

Automating inductive proof

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Related Edinburgh Organisations

Access status

Open

Documents

Original languageEnglish
Title of host publicationPerspectives on Induction
Subtitle of host publicationSpecial session of the Logic Colloquium at the Vienna Summer of Logic
EditorsM Baaz, S Hetzl
Place of PublicationVienna, Austria
PublisherVienna Summer of Logic
Pages19
Number of pages1
StatePublished - 9 Jul 2014

Abstract

We describe the planning and patching of automated proofs by mathematical induction using the rippling method.

Research areas

  • Automated theorem proving, Induction, rippling

Download statistics

No data available

ID: 16410925