Title: Untersuchungen über die automatische Lösung von Aufgaben der konstruktiven Geometrie
Subjects: Projective Geometry, Computer science, Mathematics