Preface to the special issue on Automated Mathematical induction Hantao Zhang EditorialNotes Pages: 1 - 1
Induction using term orders Francois BronsardUday S. ReddyRobert W. Hasker OriginalPaper Pages: 3 - 37
New uses of linear arithmetic in automated theorem proving by induction Deepak KapurM. Subramaniam OriginalPaper Pages: 39 - 78
Middle-out reasoning for synthesis and induction Ina KraanDavid BasinAlan Bundy OriginalPaper Pages: 113 - 145
Interaction with the Boyer-Moore theorem prover: A tutorial study using the arithmetic-geometric mean theorem Matt KaufmannPaolo Pecchiari OriginalPaper Pages: 181 - 222