Projects per year
We describe the planning and patching of automated proofs by mathematical induction using the rippling method.
|Title of host publication||Perspectives on Induction|
|Subtitle of host publication||Special session of the Logic Colloquium at the Vienna Summer of Logic|
|Editors||M Baaz, S Hetzl|
|Place of Publication||Vienna, Austria|
|Publisher||Vienna Summer of Logic|
|Number of pages||1|
|Publication status||Published - 9 Jul 2014|
- Automated theorem proving
FingerprintDive into the research topics of 'Automating inductive proof'. Together they form a unique fingerprint.
- 2 Finished