Skip to search formSkip to main content
You are currently offline. Some features of the site may not work correctly.

Theorem Proving System

Known as: TPS, TPS (Theorem Proving System) 
The Theorem Proving System (TPS) is an automated theorem proving system for first-order and higher-order logic. TPS has been developed at Carnegie… Expand
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… Expand
Is this relevant?
Highly Cited
2011
Highly Cited
2011
Cloud-based hosting promises cost advantages over conventional in-house (on-premise) application deployment. One important… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
2010
2010
The CADE ATP System Competition (CASC) is an annual evaluation of fully automatic, classical logic Automated Theorem Proving (ATP… Expand
Is this relevant?
Highly Cited
2000
Highly Cited
2000
  • Myla Archer
  • Annals of Mathematics and Artificial Intelligence
  • 2000
  • Corpus ID: 17351471
TAME (Timed Automata Modeling Environment), an interface to the theorem proving system PVS, is designed for proving properties of… Expand
  • figure 1
  • figure 3
  • figure 9
  • figure 10
  • figure 13
Is this relevant?
2000
2000
This is a brief update on the Tps automated theorem proving system for classical type theory, which was described in [3]. Manuals… Expand
Is this relevant?
1991
1991
The MVL theorem-proving system is an implementation of theoretical work currently under way at Stanford University. Theoretical… Expand
Is this relevant?
1990
1990
When one is seeking an expansion proof for a theorem of higher-order logic, not all necessary substitution terms can be generated… Expand
Is this relevant?
1989
1989
Abstract MUSCADET is a theorem prover which works in those fields of pure mathematics that require a lot of knowledge and know… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
Highly Cited
1980
Highly Cited
1980
This is a summary of the methods and results of a longer paper of the same name which will appear elsewhere. The main result… Expand
Is this relevant?
1973
1973
This paper describes a man-machine theorem proving system at the University of Texas (Austin) which has been used to prove a few… Expand
Is this relevant?