Änderungen

integrierte Lernumgebung mit einem tutoriellen Modul und automatischem Beweiser für bestimmte Problemklassen.

integrierte Lernumgebung mit einem tutoriellen Modul und automatischem Beweiser für bestimmte Problemklassen.

== 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 -->