Skip to search formSkip to main contentSkip to account menu

Automated theorem proving

Known as: Automatic proof system, Automatic theorem proving, List of automated theorem provers 
Automated theorem proving (also known as ATP or automated deduction) is a subfield of automated reasoning and mathematical logic dealing with proving… 
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2015
Highly Cited
2015
Lean is a new open source theorem prover being developed at Microsoft Research and Carnegie Mellon University, with a small… 
Highly Cited
2008
Highly Cited
2008
KeYmaera is a hybrid verification tool for hybrid systems that combines deductive, real algebraic, and computer algebraic prover… 
Highly Cited
2006
Highly Cited
2006
  • Wenjun Wu
  • Journal of Automated Reasoning
  • 2006
  • Corpus ID: 35182366
At the end of 1976 and the beginning of 1977, the author discovered a mechanical method for proving theorems in elementary… 
Highly Cited
2004
Highly Cited
2004
Isabelle [28, 30] is an interactive theorem prover that supports a variety of logics. It represents rules as propositions (not as… 
Highly Cited
1996
Highly Cited
1996
  • M. Fitting
  • Graduate Texts in Computer Science
  • 1996
  • Corpus ID: 10411039
This monograph on classical logic presents fundamental concepts and results in a rigorous mathematical style. Applications to… 
Highly Cited
1987
Highly Cited
1987
  • W. Bibel
  • Artificial Intelligence / Künstliche Intelligenz
  • 1987
  • Corpus ID: 31549660
I. Natural and formal logic.- II. The connection method in propositional logic.- III. The connection method in first-order logic… 
Highly Cited
1986
Highly Cited
1986
We give an efficient procedure for verifying that a finite-state concurrent system meets a specification expressed in a… 
Highly Cited
1981
Highly Cited
1981
  • N. Nilsson
  • IEEE Transactions on Pattern Analysis and Machine…
  • 1981
  • Corpus ID: 20370792
A classic introduction to artificial intelligence intended to bridge the gap between theory and practice, "Principles of… 
Highly Cited
1980
Highly Cited
1980
  • R. Reiter
  • Artif. Intell.
  • 1980
  • Corpus ID: 16338450