Interactive learning and mathematical calculus
In: Mathematical Knowledge Management (Fourth International Conference, MKM 2005, Bremen, Germany, July 15-17, 2006, S. 330-345
Online
unknown
Zugriff:
A variety of problems in mathematical calculus can be solved by recursively applying a finite number of rules. Often, a generic solving strategy can be extracted and an interactive exercise system that emulates a tutor can be implemented. In this paper we show how software developed by us can be used to realize this interactivity. In particular, an implementation of a generic exercise for computing the derivative of elementary functions is presented.
| Titel: |
Interactive learning and mathematical calculus
|
|---|---|
| Autor/in / Beteiligte Person: | Cohen, A.M. ; Cuypers, H. ; Jibetean, D. ; Spanbroek, M. ; Kohlhase, M. ; Discrete Algebra and Geometry |
| Link: | |
| Zeitschrift: | Mathematical Knowledge Management (Fourth International Conference, MKM 2005, Bremen, Germany, July 15-17, 2006, S. 330-345 |
| Veröffentlichung: | 2006 |
| Medientyp: | unknown |
| ISBN: | 978-3-540-31430-1 (print) |
| ISSN: | 0302-9743 (print) |
| DOI: | 10.1007/11618027_22 |
| Schlagwort: |
|
| Sonstiges: |
|