Abstract
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.
| Original language | English |
|---|---|
| Pages (from-to) | 331-347 |
| Journal | Mathematics in Computer Science |
| Volume | 3 |
| Issue number | 3 |
| DOIs | |
| Publication status | Published - 2010 |