Interactive Learning and Mathematical Calculus

@inproceedings{Cohen2005InteractiveLA,
  title={Interactive Learning and Mathematical Calculus},
  author={Arjeh M. Cohen and Hans Cuypers and Dorina Jibetean and Mark Spanbroek},
  booktitle={MKM},
  year={2005}
}
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.