On Proving Theorems in Plane Geometry via Digital Computer.

On Proving Theorems in Plane Geometry via Digital Computer.

Regular price $20.00 $16.00 Sale

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....