3.175
Bearbeitungen
Änderungen
Automatisches Assessment (Quelltext anzeigen)
Version vom 14. Dezember 2009, 20:18 Uhr
, 20:18, 14. Dez. 2009→Übersicht über Werkzeuge zum automatischen Assessment von Mathematik
== Ü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]]
* [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)