Achtung: diese Seite wird nur zu Testzwecken betrieben. Hier gelangen Sie zur Madipedia-Website: https://madipedia.de
Automatisches Assessment: Unterschied zwischen den Versionen
Zur Navigation springen
Zur Suche springen
| [gesichtete Version] | [gesichtete Version] |
Keine Bearbeitungszusammenfassung |
|||
| Zeile 16: | Zeile 16: | ||
* SSP - Super Sketchpad | * SSP - Super Sketchpad | ||
* Theorema (Buchberger et al) | * Theorema (Buchberger et al) | ||
* [http://www.swisseduc.ch/informatik/exorciser/ Exorciser] (zu theoretischer Informatik) | |||
* Saraswati | |||
Version vom 9. Januar 2010, 17:34 Uhr
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