OpenMath Software And Tools

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

OpenMath Validation

A form allowing on-line validation of OpenMath Fragments contained within XML documents, using XSLT.

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

• Stylesheet for OpenMath to Content MathML Conversion.
• Stylesheet for Content MathML to OpenMath Conversion.
• DSSSL stylesheet for MathML Render MathML to TeX or RTF (For Microsoft Word)
• XSLT stylesheet for converting Content MathML to OpenMath.
• A collection of XSLT stylesheets for converting between OpenMath and OMDoc, OMDoc and MathML etc.

OpenMath Development Tools

• The RIACA OpenMath library, a Java library for creating and using OpenMath objects.
• 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

• CD Editor.
• The JOME OpenMath Editor for creating and manipulating OpenMath objects. The source code is available from sourceforge.
• OpenMath/OMDoc Emacs Mode for creating OpenMath objects.
• 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
• Logic Broker Architecture is a framework which provides the infrastructure for making mechanized reasoning systems interoperate, which uses OpenMath as the content language.
• MathWeb is a system for connecting mathematical software systems which speak OMDoc via a common software bus.
• The OpenMath Worksheet/Dispatcher is a Java application for providing access to OpenMath-based computational services over the internet.
• OpenXM is an infrastructure for mathematical communication which will support OpenMath.