Title: On proving theorems in plane geometry via digital computer
First published: 1965
Subjects: Geometry, Data processing