Automatisches Assessment

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)
• Exorciser (zu theoretischer Informatik)
• Saraswati
• OUNL Exercise Assistant Online (zu Aussagenlogik; Login mit beliebiger Matrikelnummer)
• Digitale Wiskunde Oefenomgeving (zur Umformung von Gleichungen)