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
  4. Cited By
Automation of Mathematical Induction as part of the History of Logic
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

Papers citing "Automation of Mathematical Induction as part of the History of Logic"

2 / 2 papers shown
Title
Definitional Quantifiers Realise Semantic Reasoning for Proof by
  Induction
Definitional Quantifiers Realise Semantic Reasoning for Proof by Induction
Yutaka Nagashima
LRM
67
3
0
19 Oct 2020
Faster Smarter Induction in Isabelle/HOL
Faster Smarter Induction in Isabelle/HOL
Yutaka Nagashima
87
7
0
19 Sep 2020
1