3.119
Bearbeitungen
Achtung: diese Seite wird nur zu Testzwecken betrieben. Hier gelangen Sie zur Madipedia-Website: https://madipedia.de
[gesichtete Version] | [gesichtete Version] |
(AiM) |
|||
(7 dazwischenliegende Versionen von 2 Benutzern werden nicht angezeigt) | |||
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 9: | Zeile 11: | ||
* [ftp://pubftp.computer.org/Press/outgoing/proceedings/csse08/data/3336i612.pdf EASy] | * [ftp://pubftp.computer.org/Press/outgoing/proceedings/csse08/data/3336i612.pdf EASy] | ||
* [http://users.ugent.be/~nvdbergh/aim_rug/docs/ AIM: Alice Interactive Mathematics] | * [http://users.ugent.be/~nvdbergh/aim_rug/docs/ AIM: Alice Interactive Mathematics] | ||
* Mathematische Beweise[http://www.wi.uni-muenster.de/pi/lehre/ss08/SeminarE-Learning/ausarbeitungen/ausarbeitung_mueller.pdf] | |||
* Geometry Expert (Xiao-Shan Gao et al) | |||
* SSP - Super Sketchpad | |||
* Theorema (Buchberger et al) |