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.
|Title of host publication||Mathematical Knowledge Management (Fourth International Conference, MKM 2005, Bremen, Germany, July 15-17, 2005, Revised selected papers)|
|Place of Publication||Berlin|
|Publication status||Published - 2006|
|Name||Lecture Notes in Computer Science|