ResearchTrend.AI
78
14
v1v2v3v4v5 (latest)

Automation of Mathematical Induction as part of the History of Logic

J. Strother
Claus-Peter Wirth
ArXiv (abs)PDFHTML
Abstract

We review the history of the automation of mathematical induction

View on arXiv
Comments on this paper