Home | Overview | Documents | Content Dictionaries | Software & Tools | The OpenMath Society | OpenMath Projects | OpenMath Discussion Lists | OpenMath Meetings | Links |

A document giving guidelines for OpenMath tool developers is available from the OpenMath thematic network.

If you have developed any OpenMath software that should be listed here, please send the link and a short description to [email protected].

An XSLT stylesheet for validating OpenMath Fragments contained within XML documents

- A phrasebook for AXIOM 2.3 was shipped with the system.
- A phrasebook for GAP 4 is available from the GAP 4 website.
- A phrasebook for Mathematica has been developed by INRIA.
- Various phrasebooks for GAP, Magma and Mathematica are available from RIACA.

- Activemath A learning environment for mathematics.
- Algebra Interactive An interactive algebra course.
- An OpenMath Shell for sending OpenMath to a computational engine.
- LaTeX to OpenMath translator demo
- OpenMath to LaTeX translator demo
- QMath, a tool to produce OpenMath and OMDoc with a text-based input syntax

- The current build system of the OpenMath Website is described in a how-to. It processes normal pages with om-page.xsl and CD pages with cd.xsl which uses om2pmml.xsl for OpenMath to presentation MathML, om2popcorn.xsl to PopCorn, and om2cmml.xsl to Content-MathML.
- David Carlisle has been the main author of these stylesheets and has taken this further in his html5mathml project with news and documentation in blog.
- The OMDoc collection of XSLT stylesheets for converting between OpenMath and OMDoc, OMDoc and MathML etc.
- DSSSL stylesheet for MathML Render MathML to TeX or RTF (For Microsoft Word)

- INRIA C Library, an API for reading, writing and creating OpenMath objects.
- INRIA C++ Library, an API for reading, writing and creating OpenMath objects (requires INRIA C Library).
- INRIA Java Library, an API for reading, writing and creating OpenMath objects.
- An OpenMath Library and XML parser in the Aldor language are available from the University of Bath (formerly from Victoria University of Wellington).

- CDEditor, an OpenMath Content Dictionary editor. Available for Linux and Windows
- Sentido is a visual and linear formula editor for OpenMath objects. It is not currently available for standalone download, but integrated into the SWiM wiki (see above).
- RIACA CD Editor.
- The JOME OpenMath Editor for creating and manipulating OpenMath objects. The source code is available from sourceforge.
- STARS/MathWriter: A Java component which takes a simple linear input and generates OpenMath or MathML. For details contact Stilo Technology.

- IAMC is a framework for providing Internet Accessible Mathematical Computation which supports OpenMath as a data exchange format
- JavaMath is a free API for linking computational engines (in particular Maple and GAP) into Java programs using OpenMath as the data format
- Krextor translates OpenMath CDs to RDF for use by Semantic Web applications and services
- MathWeb is a system for connecting mathematical software systems which speak OMDoc via a common software bus.
- OpenXM is an infrastructure for mathematical communication which will support OpenMath.

Home | Overview | Documents | Content Dictionaries | Software & Tools | The OpenMath Society | OpenMath Projects | OpenMath Discussion Lists | OpenMath Meetings | Links |

© The OpenMath Society 2001–2013

Maintained by
the OpenMath Infrastructure Team