Automating inductive proof

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

Abstract / Description of output

We describe the planning and patching of automated proofs by mathematical induction using the rippling method.
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

Keywords / Materials (for Non-textual outputs)

  • Automated theorem proving
  • Induction
  • rippling


Dive into the research topics of 'Automating inductive proof'. Together they form a unique fingerprint.

Cite this