Projects per year
Abstract / Description of output
We describe the planning and patching of automated proofs by mathematical induction using the rippling method.
| Original language | English |
|---|---|
| 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 |
| Pages | 19 |
| Number of pages | 1 |
| Publication status | Published - 9 Jul 2014 |
Keywords / Materials (for Non-textual outputs)
- Automated theorem proving
- Induction
- rippling
Fingerprint
Dive into the research topics of 'Automating inductive proof'. Together they form a unique fingerprint.Projects
- 2 Finished
-
The integration and interaction of multiple mathematical Reasoning Processes
Bundy, A., Aspinall, D., Colton, S., Fleuriot, J., Gow, J., Grov, G., Ireland, A., Jackson, P., Mcneill, F., Michaelson, G. & Smaill, A.
1/11/15 → 31/10/19
Project: Research
-
The integration and interaction of multiple mathematical reasoning processes
Bundy, A., Aspinall, D., Fleuriot, J., Jackson, P., Smaill, A., Colton, S., Ireland, A. & Michaelson, G.
1/08/11 → 31/07/15
Project: Research