Automated Theorem Proving: After 25 Years - Contemporary Mathematics
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By American Mathematical Society

9780821850275, 9780821876145

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Proving Elementary Geometry Theorems Using Wu’s Algorithm

Automated Theorem Proving: After 25 Years - Contemporary Mathematics ◽

10.1090/conm/029/14 ◽

1984 ◽

pp. 243-286 ◽

Cited By ~ 38

Author(s):

Shang-Ching Chou

Keyword(s):

Elementary Geometry

Download Full-text

On the Decision Problem and the Mechanization of Theorem-Proving in Elementary Geometry

Automated Theorem Proving: After 25 Years - Contemporary Mathematics ◽

10.1090/conm/029/12 ◽

1984 ◽

pp. 213-234 ◽

Cited By ~ 41

Author(s):

Wen-Tsün Wu

Keyword(s):

Theorem Proving ◽

Decision Problem ◽

Elementary Geometry

Download Full-text

A Mechanical Proof of the Turing Completeness of Pure Lisp

Automated Theorem Proving: After 25 Years - Contemporary Mathematics ◽

10.1090/conm/029/08 ◽

1984 ◽

pp. 133-168 ◽

Cited By ~ 7

Author(s):

Robert Boyer ◽

J Strother Moore

Keyword(s):

Turing Completeness ◽

Mechanical Proof

Download Full-text

Abelian group unification algorithms for elementary terms

Automated Theorem Proving: After 25 Years - Contemporary Mathematics ◽

10.1090/conm/029/749246 ◽

1984 ◽

pp. 193-199 ◽

Cited By ~ 19

Author(s):

D. Lankford ◽

G. Butler ◽

B. Brady

Keyword(s):

Abelian Group ◽

Unification Algorithms

Download Full-text

Automated Theory Formation in Mathematics

Automated Theorem Proving: After 25 Years - Contemporary Mathematics ◽

10.1090/conm/029/15 ◽

1984 ◽

pp. 287-314 ◽

Cited By ~ 7

Author(s):

Douglas Lenat

Keyword(s):

Theory Formation

Download Full-text

Automating Higher-Order Logic

Automated Theorem Proving: After 25 Years - Contemporary Mathematics ◽

10.1090/conm/029/09 ◽

1984 ◽

pp. 169-192 ◽

Cited By ~ 38

Author(s):

Peter Andrews ◽

Dale Miller ◽

Eve Longini Cohen ◽

Frank Pfenning

Keyword(s):

Higher Order ◽

Order Logic ◽

Higher Order Logic

Download Full-text

Proof-Checking, Theorem-Proving, and Program Verification

Automated Theorem Proving: After 25 Years - Contemporary Mathematics ◽

10.1090/conm/029/07 ◽

1984 ◽

pp. 119-132 ◽

Cited By ~ 9

Author(s):

Robert Boyer ◽

J Strother Moore

Keyword(s):

Theorem Proving ◽

Program Verification ◽

Proof Checking

Download Full-text

Citation for Hao Wang as winner of the milestone award in automated theorem-proving

Automated Theorem Proving: After 25 Years - Contemporary Mathematics ◽

10.1090/conm/029/749238 ◽

1984 ◽

pp. 47-48

Author(s):

Martin Davis ◽

David Luckham ◽

John McCarthy

Keyword(s):

Theorem Proving ◽

Automated Theorem Proving

Download Full-text

Some Recent Advances in Mechanical Theorem-Proving of Geometries

Automated Theorem Proving: After 25 Years - Contemporary Mathematics ◽

10.1090/conm/029/13 ◽

1984 ◽

pp. 235-242 ◽

Cited By ~ 23

Author(s):

Wen-tsün Wu

Keyword(s):

Theorem Proving ◽

Mechanical Theorem Proving ◽

Recent Advances ◽

Mechanical Theorem

Download Full-text

Open Questions Solved with the Assistance of AURA

Automated Theorem Proving: After 25 Years - Contemporary Mathematics ◽

10.1090/conm/029/05 ◽

1984 ◽

pp. 73-88 ◽

Cited By ~ 5

Author(s):

L. Wos ◽

S. Winker

Keyword(s):

Open Questions

Download Full-text

Automated Theorem Proving: After 25 Years - Contemporary MathematicsLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By American Mathematical Society

Proving Elementary Geometry Theorems Using Wu’s Algorithm

On the Decision Problem and the Mechanization of Theorem-Proving in Elementary Geometry

A Mechanical Proof of the Turing Completeness of Pure Lisp

Abelian group unification algorithms for elementary terms

Automated Theory Formation in Mathematics

Automating Higher-Order Logic

Proof-Checking, Theorem-Proving, and Program Verification

Citation for Hao Wang as winner of the milestone award in automated theorem-proving

Some Recent Advances in Mechanical Theorem-Proving of Geometries

Open Questions Solved with the Assistance of AURA

Automated Theorem Proving: After 25 Years - Contemporary Mathematics
Latest Publications