Accession Number : AD0773568

Title :   Elementary Geometry Theorem Proving,

Corporate Author : MASSACHUSETTS INST OF TECH CAMBRIDGE ARTIFICIAL INTELLIGENCE LAB

Personal Author(s) : Goldstein,Ira

Report Date : APR 1973

Pagination or Media Count : 46

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