MathDox : mathematical documents on the web

A.M. Cohen, H. Cuypers, E. Reinaldo Barreiro

Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

3 Downloads (Pure)


The MathDox system provides an infrastructure for interactive mathematical documents that make use of the World Wide Web. These documents take input from various sources, users, and mathematical services. Communication between these different entities can be realized using OpenMath. But, such communication and the interactivity inside the mathematicadocument take place in a specific, dynamic context. In this paper we discuss our approach to such a dynamic mathematical context: MathDox. It consists of both an XML-based markup language for interactive mathematical contents and a set of software tools realizing the
Original languageEnglish
Title of host publicationOMDoc : An Open Markup Format for Mathematical Documents [version 1.2]
EditorsM. Kohlhase
Place of PublicationBerlin
ISBN (Print)3-540-37897-9
Publication statusPublished - 2006

Publication series

NameLecture Notes in Computer Science
ISSN (Print)0302-9743


Dive into the research topics of 'MathDox : mathematical documents on the web'. Together they form a unique fingerprint.

Cite this