On Proving Theorems in Plane Geometry via Digital Computer.

A discussion of how geometric theorems can first be transformed into algebraic identities, and then established by the verification of a finite number of cases. The verification is arithmetic, using a computer. 4 pp....