Automatisches Assessment

Bitte Belege ergänzen!

+Info[+Details][+Jetzt verbessern]
Der auf dieser Seite veröffentlichte Text ist nicht hinreichend durch Quellen belegt. Sie können uns helfen: Bitte ergänzen Sie im Text die notwendigen Belege und entfernen Sie dann diesen Hinweis. Sie können Ihre Änderungen auch auf der Diskussionsseite mit anderen Madipedia-Mitgliedern abstimmen.
Wenn Sie den Artikel direkt verbessern wollen, dann kommen Sie mit "Jetzt verbessern" direkt an die richtige Stelle. Hilfen zum Bearbeiten haben wir unter Hilfe bereitgestellt.

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)