Skip to search formSkip to main content

You are currently offline. Some features of the site may not work correctly.

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

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

TAME (Timed Automata Modeling Environment), an interface to the theorem proving system PVS, is designed for proving properties of… Expand

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

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?