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 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 Language Bindings

• py-openmath for Python (and thus SageMath).

OpenMath Demos and Applications

• Activemath A learning environment for mathematics.
• Algebra Interactive An interactive algebra course.
• FOC, a set of certified computer algebra libraries, supports OpenMath.
• 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

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

• DSSSL stylesheet for MathML Render MathML to TeX or RTF (For Microsoft Word)

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.
• 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
• OpenXM is an infrastructure for mathematical communication which will support OpenMath.