Die Fähigkeit zur Formalisierung von Konstruktionsbeschreibungen ist ein Ziel im Mathematikunter-richt. Oft mangelt es Schülerinnen und Schülern an der notwendigen Strenge. Dabei ist unklar, wie genau eigentlich eine solche Beschreibung sein muss.
Aus der Entwicklung eines gemeinsamen Dateiformates für DGS heraus stammt eine Betrachtungs-weise, die die mathematische Beschreibung von Konstruktionen vereinfacht. Eine klare Trennung von Objekten und ihren Beziehungen zueinander hilft nicht nur dem Computer, sondern sowohl Lehrper-sonen als auch Lernenden, den Kerngedanken einer Konstruktion zu verstehen. Dies hat nicht nur Einfluss auf die Verschriftlichung von Konstruktionen, sondern auch auf den Umgang mit DGS all-gemein (Konstruktionsreihenfolge, Umkehrung von Konstruktionen, freie/abhängige Elemente).
Wir stellen zudem vor, wie das neue i2g-Format, welches im Intergeo-Projekt (http://i2geo.net) entwi-ckelt wurde, den Datenaustausch zwischen verschiedenen Geometrie-Programmen ermöglicht (hier: GeoGebra und Cinderella)
