Interactive Learning and Mathematical Calculus

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