Theorem Proving System

Known as: TPS 
The Theorem Proving System (TPS) is an automated theorem proving system for first-order and higher-order logic. TPS has been developed at Carnegie… (More)
Wikipedia

Topic mentions per year

Topic mentions per year

1968-2017
05010019682017

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2011
2011
The ACL2 Sedan theorem prover (ACL2s) is an Eclipse plugin that provides a modern integrated development environment, supports… (More)
Is this relevant?
2006
2006
Introduction Topic of this talk: What sorts of challenges do we face in making our theorem prover useful in practice? Automated… (More)
Is this relevant?
Highly Cited
1996
Highly Cited
1996
This is description of TPS, a theorem-proving system for classical type theory (Church's typed λ-calculus). TPS has been designed… (More)
  • figure 3-1
  • figure 5-4
Is this relevant?
1995
1995
In this paper we describe a theorem proving system called grover. grover is novel in that it may be guided in its search for a… (More)
Is this relevant?
1994
1994
Most general-purpose theorem-proving systems have weak search control. There is no alternative to the use of a large number of… (More)
  • figure 1
  • figure 2
  • table 1
  • table 2
Is this relevant?
1994
1994
In this paper we discuss the successful execution of the LIM+ challenge problems as proposed by Bledsoe. This problem set ranges… (More)
Is this relevant?
1991
1991
The MVL theorem-proving system is an implementation of theoretical work currently under way at Stanford University. Theoretical… (More)
Is this relevant?
1989
1989
MUSCADET is a theorem prover which works in those fields o f pure mathematics that require a lot o f knowledge and know-how… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
1986
1986
When one is seeking an expansion proof for a theorem of higher-order logic, not all necessary substitution terms can be generated… (More)
Is this relevant?
1973
1973
This paper describes a man-machine theorem proving system at the Un ivers i ty of Texas (Austin) which has been used to prove a… (More)
Is this relevant?