OpenMath Software And Tools

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 om@openmath.org.

OpenMath Validation

An XSLT stylesheet for validating OpenMath Fragments contained within XML documents

OpenMath Phrasebooks

• 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.

OpenMath Demos and Applications

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

OpenMath Stylesheets

• DSSSL stylesheet for MathML Render MathML to TeX or RTF (For Microsoft Word)
• 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.
• A collection of XSLT stylesheets for converting between OpenMath and OMDoc, OMDoc and MathML etc.

OpenMath Development Tools

• 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).

OpenMath Editors

• 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.

Tools For Connecting Mathematical Software Systems

• 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.