Automatisches Assessment
Version vom 14. Dezember 2009, 20:21 Uhr von Kortenkamp (Diskussion | Beiträge)
Vorlage:Baustelle Unter Automatischem Assessment versteht man das automatisierte Testen und Prüfen von Mathematik-Kenntnissen und -Fähigkeiten mit Hilfe von Computerprogrammen.
Übersicht über Werkzeuge zum automatischen Assessment von Mathematik
Dies ist eine Liste von verschiedenen Werkzeugen, mit denen mathematisches Arbeiten automatisiert überprüft werden kann. Ergänzungen willkommen.
- Geolog
- Cinderella
- Maple T.A.
- EASy
- AIM: Alice Interactive Mathematics
- Mathematische Beweise[1]
- Geometry Expert (Xiao-Shan Gao et al)
- SSP - Super Sketchpad
- Theorema (Buchberger et al)