README

Contents

• Introduction
• Documentation
• Compatibility
• Bug Reporst and Feedback
• License
• Contents
• Web Pages

Thank you for downloading this version of the RIACA OpenMath Library. The RIACA OpenMath Library is a library for building OpenMath enabled Java applications.

The RIACA OpenMath Library contains atomic OpenMath objects and compound OpenMath objects (in this library these are called composite OpenMath objects). The library also contains skeleton code for OpenMath phrasebooks and OpenMath codecs. And it contains a utility package that allows you to pretty print OpenMath objects.

You can find the RIACA OpenMath Library API Documentation online. Note however that the API documentation is also included in your download bundle. If you want a more step by step approach to the RIACA OpenMath Library, you can try the RIACA OpenMath Guide.

This version of the library should be able to read the same OpenMath as the previous version of the library. If you think this is not the case, please file a bug report so we can investigate.

If you have found a bug or want to send general feedback please send it to mriem@manorrock.org.

Note since this version you can use the RIACA OpenMath Library under a dual licensing scheme, you can either use it under the RIACA Public License 1.0 or the GNU Lesser General Public License.

This section contains a short summary of what is contained in the library distribution.

Documentation

(In the doc directory.) The OpenMath standard, and the API documentation for this library.

Redistributable JAR file

(In the lib directory.) The JAR file that should be redistributed with your OpenMath enabled applications.

Source code

(In the src directory.) The source code of the library and some additional tests you can use to test the product.

Test scripts

(In the bin directory.) A test script that reads in an OpenMath object and pretty prints it back to you.

For additional information see the links below:

http://www.riaca.win.tue.nl/

The RIACA website, with the latest information about our products.

http://www.riaca.win.tue.nl/products/openmath/

OpenMath products and technologies delivered by RIACA.

http://www.tue.nl/

The homepage of the Technische Universiteit Eindhoven.

http://www.openmath.org/

The OpenMath website, the standard body for OpenMath and home of the OpenMath society.