Accession Number:

AD0773568

Title:

Elementary Geometry Theorem Proving,

Descriptive Note:

Corporate Author:

MASSACHUSETTS INST OF TECH CAMBRIDGE ARTIFICIAL INTELLIGENCE LAB

Personal Author(s):

• Goldstein,Ira

Report Date:

1973-04-01

Pagination or Media Count:

46.0

Abstract:

An elementary theorem prover for a small part of plane Euclidean geometry is presented. The purpose is to illustrate important problem solving concepts that naturally arise in building procedural models for mathematics. Author

Descriptors:

• *Geometry
• Problem solving
• Computer programming
• Theorems
• Mathematical logic

Subject Categories:

• Theoretical Mathematics
• Computer Programming and Software

Distribution Statement:

APPROVED FOR PUBLIC RELEASE