Automatisches Assessment: Unterschied zwischen den Versionen

[unmarkierte Version][gesichtete Version]
Zeile 3: Zeile 3:
== Übersicht über Werkzeuge zum automatischen Assessment von Mathematik ==
== Übersicht über Werkzeuge zum automatischen Assessment von Mathematik ==
<!-- evtl. Kategorie einführen -->
<!-- evtl. Kategorie einführen -->
Dies ist eine Liste von verschiedenen Werkzeugen, mit denen mathematisches Arbeiten automatisiert überprüft werden kann. Ergänzungen willkommen.


* [[Geolog]]
* [[Geolog]]
Zeile 12: Zeile 14:
* Geometry Expert (Xiao-Shan Gao et al)
* Geometry Expert (Xiao-Shan Gao et al)
* SSP - Super Sketchpad
* SSP - Super Sketchpad
* Theorema (Buchberger et al)