Änderungen

*[http://www.mathematik.uni-kassel.de/~koepf/iiforschproj.html#geo Automatisches Beweisen geometrischer Sätze]

*[http://www.mathematik.uni-kassel.de/~koepf/iiforschproj.html#geo Automatisches Beweisen geometrischer Sätze]

== Vernetzung ==

== Mitgliedschaften ==

<!-- Mitgliedschaften in Arbeitskreisen, der GDM, der DMV, ... -->

<!-- Mitgliedschaften in Arbeitskreisen, der GDM, der DMV, ... -->

<!-- Kooperationen mit anderen Wissenschaftlerinnen und Wissenschaftlern, in Listenform -->

<!-- Kooperationen mit anderen Wissenschaftlerinnen und Wissenschaftlern, in Listenform -->