Automated theorem proving: a quarter century review | |
Citation to Hao Wang Computer theorem proving and artificial intelligence | |
Citation to Lawrence Wos and Steven Winker Open questions solved with the assistance of AURA | |
Some automatic proofs in analysis | |
Proof-checking, theorem-proving, and program verification | |
A mechanical proof of the turing completeness of pure LISP | |
Automating higher-order logic | |
Abelian group unification algorithms for elementary terms | |
Combining satisfiability procedures by equality sharing | |
On the decision problem and the mechanization of theorem-proving in elementary geometry | |
Some recent advances in mechanical theorem-proving of geometries | |
Proving elementary geometry theorems using Wu's algorithm | |
Automated theory formation in mathematics | |
Student use of an interactive theorem prover | |
Table of Contents provided by Publisher. All Rights Reserved. |