@inproceedings{cc001a5fd9524d5f876c7014905243db,

title = "Interactive learning and mathematical calculus",

abstract = "A variety of problems in mathematical calculus can be solved by recursively applying a ??nite 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.",

author = "A.M. Cohen and H. Cuypers and D. Jibetean and M. Spanbroek",

year = "2006",

doi = "10.1007/11618027_22",

language = "English",

isbn = "3-540-31430-X",

series = "Lecture Notes in Computer Science",

publisher = "Springer",

pages = "330--345",

editor = "M. Kohlhase",

booktitle = "Mathematical Knowledge Management (Fourth International Conference, MKM 2005, Bremen, Germany, July 15-17, 2005, Revised selected papers)",

address = "Germany",

}