ON PROVING THEOREMS IN PLANE GEOMETRY VIA DIGITAL COMPUTER
RAND CORP SANTA MONICA CA
Pagination or Media Count:
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.
- Computer Hardware