Edinburgh Research Explorer

Automating inductive proof

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

Related Edinburgh Organisations

Open Access permissions



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
Number of pages1
Publication statusPublished - 9 Jul 2014


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