Interactive learning and mathematical calculus

A.M. Cohen, H. Cuypers, D. Jibetean, M. Spanbroek

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

4 Citations (Scopus)


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.
Original languageEnglish
Title of host publicationMathematical Knowledge Management (Fourth International Conference, MKM 2005, Bremen, Germany, July 15-17, 2005, Revised selected papers)
EditorsM. Kohlhase
Place of PublicationBerlin
ISBN (Print)3-540-31430-X
Publication statusPublished - 2006

Publication series

NameLecture Notes in Computer Science
ISSN (Print)0302-9743

Fingerprint Dive into the research topics of 'Interactive learning and mathematical calculus'. Together they form a unique fingerprint.

Cite this