Automated Theorem Proving: After 25 Years: After 25 Years

Front Cover
American Mathematical Soc., 1984 - Mathematics - 360 pages
 

What people are saying - Write a review

We haven't found any reviews in the usual places.

Contents

a Quarter Century Review
1
Citation to Hao Wang
47
Computer Theorem Proving and Artificial Intelligence
49
Citation to Lawrence Wos and Steven Winker
71
Open Questions Solved with the Assistance of AURA
73
Some Automatic Proofs in Analysis
89
ProofChecking TheoremProving and Program Verification
119
A Mechanical Proof of the Turing Completeness of Pure LISP
133
Abelian Group Unification Algorithms for Elementary Terms
193
Combining Satisfiability Procedures by Equality Sharing
201
On the Decision Problem and the Mechanization of TheoremProving in Elementary Geometry
213
Some Recent Advances in Mechanical Theoremproving of Geometries
235
Proving Elementary Geometry Theorems Using Wus Algorithm
243
Automated Theory Formation in Mathematics
287
Student Use of an Interactive Theorem Prover
315
Copyright

Automating Higherorder Logic
169

Other editions - View all

Common terms and phrases

Bibliographic information