Interactivity of Exercises in ActiveMath

This paper describes a principled approach for representing and processing interactive exercises in ActiveMath that relies on a modular architecture of the exercise player, on a separation of different types of knowledge that have to be handled to generate feedback, and on a generic representation of interactive exercises.