Mathematical Context in Interactive Documents
Arjeh M. Cohen, Hans Cuypers, Rikko Verrijzer · Mathematics in Computer Science · 2010
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.