In this paper we introduce the concept of an interactive mathematical document. We give a
formal description of such a document, which enables us to introduce the notion of a context
as user and time dependent information regarding both mathematical and personal data.
We also describe the realization of interactive mathematical documents within the MathDox
system developed at Eindhoven University of Technology.