Änderungen

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)