Mathdox Documents
Mathdox is a standard for writing interactive mathematical documents.
It is based on several existing xml standards:
DocBook is used for the
general structure of documents. It allows you to create sections,
paragraphs, itemized lists, etc.
"DocBook The Definitive Guide"
is a nice book that can be used as an introduction to or a reference
of DocBook. It is available in both an online and an offline version.
For mathematics OpenMath
is used. OpenMath is a standard for the semantic representation of
mathematics. The main advantage of using OpenMath, instead of for
instance MathML presentation markup, is that the mathematics can not
only be rendered to the screen, but they can also be easily used in
computations.
For interactivity
Jelly
is used. Jelly allows you to use programming constructs in an xml
document, much in the same way as JSP, PHP, ASP, etc. allow you to
use programming constructs in an html page. Included in this manual
is a page with some Jelly
examples.
For user input, we use the
XForms
standard. Included in this manual is a page with some XForms examples.
For interaction with computer algebra systems (CAS), the
MONET query language is
used. Included in this manual is a page with some MONET examples.
Example
The following mathdox document:
The quotient group
4
, where
1
2
3
4
1
3
2 4
4
is Klein`s Vierergroup, is isomorphic with a group of order
6
. Which one?
3
or
6
?
]]>
is rendered like this:
The quotient group
4
, where
1
2
3
4
1
3
2 4
4
is Klein`s Vierergroup, is isomorphic with a group of order
6
. Which one?
3
or
6
?