528
Bearbeitungen
Änderungen
Zur Navigation springen
Zur Suche springen
KZeile 56:
Zeile 56: − +
→Vernetzung
*[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 -->