Mit dem Online-Demo können die Beweisumgebung mit dem Firefoxbrowser testen, ohne dass Sie einen Zugang zu einem IMathAS-System benötigen. eProofJS.html ist eine Emulationsumgebung, die allein mit HTML und Javascript realisiert wurde.
|
Bewertung von Beweisen
Beweise können automatisch bewertet werden, indem die Studierendenlösung gegen einen Lösungsgraphen
|
Autorenumgebung
Das Video zur Autorenumgebung zeigt, wie man bestehende Beweise editiert, weitere Beweisschritte ergänzt und alternative Beweisbewege in dem Lösungsgraphen hinzufügt.
|
iMathAS-Creator
Mit dem IMathAS-Creator kann man ebenfalls Beweise erstellen. Die verfügbare Version ist ein erster Test für HTML-basierte Editierung von XML-Datei im Firefox. In Analogie zur Autorenumgebung können XML-Versionen und IMathAS-Version der Beweise erstellt werden
|