Accession Number:

AD0611205

Title:

ON PROVING THEOREMS IN PLANE GEOMETRY VIA DIGITAL COMPUTER

Descriptive Note:

Corporate Author:

RAND CORP SANTA MONICA CA

Personal Author(s):

Report Date:

1965-02-01

Pagination or Media Count:

5.0

Abstract:

The report indicates how geometric theorems can be transformed into algebraic identities the contribution of Descartes, and then established by the verification of a finite number of cases. The verification is arithmetic.

Subject Categories:

  • Computer Hardware

Distribution Statement:

APPROVED FOR PUBLIC RELEASE