Untersuchungen über die automatische Lösung von Aufgaben der konstruktiven Geometrie | EKB DL