Letzte Aktualisierung: 2018/01/14 (EN)
|
Diese Website unterstützt Sie bei der Erstellung eines elektronischen Beweises mit existierenden Opensource-Web-Anwendungen in einer Bildungseinrichtung für mathematische Inhalte. Der Lernende sollte dabei unterstützt werden, damit diese die notwendigen Kompetenzen erhalten, um einen gegebenen mathematischen Satz/Theorem selbstständig ohne Hilfen beweisen können. Ein pädagogisches motivierte Umgebung für das elektronischen Beweisen wird als Bindeglied zwischen
Hier wird eine Pilot für das elektronische Beweisen wurde behandelt und
Derzeit ist die Anwendung sowohl in IMathAS als auch in einer auf HTML/Javascript basierenden Umgebung möglich. |
Online Demo
|
Autorenumgebung
Es existist neben dem Autorensystem auch eine Online-Authorenumgebung
|
Download Beweise:
Download a ZIP file that contains the XML-files of e-Proofs as Demo.
Look into folder /xmlproofs and load with Authoring-Tool. |