Papers
Communities
Events
Blog
Pricing
Search
Open menu
Home
Papers
1309.6226
Cited By
v1
v2
v3
v4
v5 (latest)
Automation of Mathematical Induction as part of the History of Logic
24 September 2013
J. Strother
Claus-Peter Wirth
AI4CE
Re-assign community
ArXiv (abs)
PDF
HTML
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
Yutaka Nagashima
LRM
67
3
0
19 Oct 2020
Faster Smarter Induction in Isabelle/HOL
Yutaka Nagashima
87
7
0
19 Sep 2020
1