Automating inductive proof

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

Abstract

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

Keywords

  • Automated theorem proving
  • Induction
  • rippling

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

Cite this