
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