GEOEXPERT Konstruieren, Beweisen, Berechnen, Problemlösen mit dem Computer - Holland, Gerhard (Dümmler, 1994)