6.756
Bearbeitungen
Achtung: diese Seite wird nur zu Testzwecken betrieben. Hier gelangen Sie zur Madipedia-Website: https://madipedia.de
[gesichtete Version] | [gesichtete Version] |
Keine Bearbeitungszusammenfassung |
Keine Bearbeitungszusammenfassung |
||
(14 dazwischenliegende Versionen von 4 Benutzern werden nicht angezeigt) | |||
Zeile 1: | Zeile 1: | ||
{{infobox|BelegeErgänzen}} | |||
Unter Automatischem Assessment versteht man das automatisierte Testen und Prüfen von Mathematik-Kenntnissen und -Fähigkeiten mit Hilfe von Computerprogrammen. | 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 == | == Ü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]] | ||
* [[Cinderella]] | * [[Cinderella]] | ||
* [http://www.maplesoft.com/products/mapleta/ Maple T.A.] | * [http://www.maplesoft.com/products/mapleta/ Maple T.A.] | ||
* [ftp://pubftp.computer.org/Press/outgoing/proceedings/csse08/data/3336i612.pdf EASy] | |||
* [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) | |||
* [http://www.swisseduc.ch/informatik/exorciser/ Exorciser] (zu theoretischer Informatik) | |||
* Saraswati | |||
* [http://ideas.cs.uu.nl/genexas/login.php OUNL Exercise Assistant Online] (zu Aussagenlogik; Login mit beliebiger Matrikelnummer) | |||
* [http://www.fi.uu.nl/servlet/fi.dwo.server.persistence.DwoWebPageServlet?language=nl&profile=1&guestUser=true&scoViewNr=9157 Digitale Wiskunde Oefenomgeving] (zur Umformung von Gleichungen) |