Elementary Geometry Theorem Proving

Goldstein, Ira

Elementary Geometry Theorem Proving

Download

Name

AIM-280.pdf

Size

1.53 MB

Format

Adobe PDF

Checksum (MD5)

d480cb23fbeffd095f8ad0b2c2e6d0fc

Download

Name

AIM-280.ps

Size

16.4 MB

Format

PostScript

Checksum (MD5)

91f2fbbc9aba67fe9776593febe21244

Author(s)

Goldstein, Ira

Date Issued

April 1, 1973

Series/Report no.

AIM-280

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.

Persistent DSpace Link

http://hdl.handle.net/1721.1/5798