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
AbstractContexts are sets of formulas used to manage the assumptions that arise in the course of a m...
The final publication is available at Springer via http://dx.doi.org/10.1007/978-3-540-27818-4_19Pro...
Le texte intégral de ce document de travail n'est pas disponible en ligne. Une copie papier est disp...
In this paper we introduce the concept of an interactive mathematical document. We give a formal des...
Being so well structured, mathematics lends itself well to interesting interactive presentation. Now...
The MathDox system provides an infrastructure for interactive mathematical documents that make use o...
We discuss the MathDox system, a system for presenting highly interactive mathematical documents. Th...
In this paper we explore the use of documents as interfaces to mathematical knowledge. We propose an...
In this paper we describe how we envision using interactive geometry inside MathDox pages. In partic...
There is a wealth of interactive mathematics available on the web. Examples range from animated geom...
Abstract In this paper we describe how we envision using interactive geometry inside MathDox pages. ...
It is well known that mathematical reasoning is not very well developed in students starting technic...
In view of the different demands posed on dissertations by societies and scientists in any field, gl...
AbstractContexts are sets of formulas used to manage the assumptions that arise in the course of a m...
The final publication is available at Springer via http://dx.doi.org/10.1007/978-3-540-27818-4_19Pro...
Le texte intégral de ce document de travail n'est pas disponible en ligne. Une copie papier est disp...
In this paper we introduce the concept of an interactive mathematical document. We give a formal des...
Being so well structured, mathematics lends itself well to interesting interactive presentation. Now...
The MathDox system provides an infrastructure for interactive mathematical documents that make use o...
We discuss the MathDox system, a system for presenting highly interactive mathematical documents. Th...
In this paper we explore the use of documents as interfaces to mathematical knowledge. We propose an...
In this paper we describe how we envision using interactive geometry inside MathDox pages. In partic...
There is a wealth of interactive mathematics available on the web. Examples range from animated geom...
Abstract In this paper we describe how we envision using interactive geometry inside MathDox pages. ...
It is well known that mathematical reasoning is not very well developed in students starting technic...
In view of the different demands posed on dissertations by societies and scientists in any field, gl...
AbstractContexts are sets of formulas used to manage the assumptions that arise in the course of a m...
The final publication is available at Springer via http://dx.doi.org/10.1007/978-3-540-27818-4_19Pro...
Le texte intégral de ce document de travail n'est pas disponible en ligne. Une copie papier est disp...
DOI
Add to ORKG