ResearchTrend.AI
Definitional Quantifiers Realise Semantic Reasoning for Proof by Induction
v1v2 (latest)

Definitional Quantifiers Realise Semantic Reasoning for Proof by Induction

Yutaka Nagashima
    LRM
ArXiv (abs)PDFHTML

Papers citing "Definitional Quantifiers Realise Semantic Reasoning for Proof by Induction"

7 / 7 papers shown
Title
Faster Smarter Induction in Isabelle/HOL
Faster Smarter Induction in Isabelle/HOL
Yutaka Nagashima
58
7
0
19 Sep 2020
The Imandra Automated Reasoning System (system description)
The Imandra Automated Reasoning System (system description)
Grant Passmore
Simon Cruanes
Denis Ignatovich
Dave Aitken
Matt Bray
Elijah Kagan
K. Kanishev
E. Maclean
Nicola Mometto
LRMAI4CE
29
35
0
21 Apr 2020
Tactic Learning and Proving for the Coq Proof Assistant
Tactic Learning and Proving for the Coq Proof Assistant
Lasse Blaauwbroek
Josef Urban
H. Geuvers
107
24
0
20 Mar 2020
PaMpeR: Proof Method Recommendation System for Isabelle/HOL
PaMpeR: Proof Method Recommendation System for Isabelle/HOL
Yutaka Nagashima
Yilun He
64
24
0
19 Jun 2018
Learning to Reason with HOL4 tactics
Learning to Reason with HOL4 tactics
Thibault Gauthier
C. Kaliszyk
Josef Urban
73
77
0
02 Apr 2018
Automation of Mathematical Induction as part of the History of Logic
Automation of Mathematical Induction as part of the History of Logic
J. Strother
Claus-Peter Wirth
AI4CE
70
14
0
24 Sep 2013
HOL(y)Hammer: Online ATP Service for HOL Light
HOL(y)Hammer: Online ATP Service for HOL Light
C. Kaliszyk
Josef Urban
102
95
0
19 Sep 2013

We use cookies and other tracking technologies to improve your browsing experience on our website, to show you personalized content and targeted ads, to analyze our website traffic, and to understand where our visitors are coming from. See our policy.