Accession Number:

AD0773568

Title:

Elementary Geometry Theorem Proving,

Personal Author(s):

Corporate Author:

MASSACHUSETTS INST OF TECH CAMBRIDGE ARTIFICIAL INTELLIGENCE LAB

Report Date:

1973-04-01

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

Pages:

0046

Descriptors:

Identifiers:

Subject Categories:

Communities Of Interest:

Contract Number:

N00014-70-A-0362-0003

File Size:

0.00MB

Full text not available:

Request assistance