ResearchTrend.AI
  • Papers
  • Communities
  • Events
  • Blog
  • Pricing
Papers
Communities
Social Events
Terms and Conditions
Pricing
Parameter LabParameter LabTwitterGitHubLinkedInBlueskyYoutube

© 2025 ResearchTrend.AI, All rights reserved.

  1. Home
  2. Papers
  3. 1309.6226
80
14
v1v2v3v4v5 (latest)

Automation of Mathematical Induction as part of the History of Logic

24 September 2013
J. Strother
Claus-Peter Wirth
    AI4CE
ArXiv (abs)PDFHTML
Abstract

We review the history of the automation of mathematical induction

View on arXiv
Comments on this paper