On Proving Theorems in Plane Geometry Via Digital Computer

摘要

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.