OpenMath Development Team
The PolyMath OpenMath Dev
team is dedicated to building advanced
applications using the OpenMath
standard for mathematical applications. The group is a founder member
of the North American OpenMath
Initiative. We specialize in distributed networking, and
component-oriented programming. This is essential for the development
of tools and products that can be used for collaborative work,
in research, education, and industry.
Team members
Projects
We have many projects, and are implementing systems based on them
for use by the international community. These include:
- Semantic Translation
- We are working
on developing technologies for translating commonly available
document formats into OpenMath.
- Distributed Institute Networking Infrastructure
- Where we are building collaborative networking systems based on OpenMath
protocols.
- Java OpenMath Library
Currently, we have two versions available for download.
Version 0.5 is our older release, and comes complete with documentation.
Version 0.7.5d is our new release, and is supplied with only API documentation. For all other documentation, please refer to the Version 0.5 documentation.
Please note that the 0.7.5d Library has not gone through major testing, and there may be compatibility problems
- The new 0.7.5d library includes new developments such as:
- OMBinding
- Improved MapleOMCodec
- Compliance with the new OpenMath Specification
- With a complete implementation
of the OpenMath standard, with extensions that allow the building
of advanced applications. The downloadable
library contains:
- Implementation of basic OpenMath language spec.
- Implementation of a proposed standard for phrasebook
implementation, including XML encoding/decoding.
- Implementation of a proposed standard for OpenMath
binary encoding/decoding.
- Implementation of a proposed event model
- Implementation of utilities to aid OpenMath
programming.
- Implementation of OpenMath components as a set of
JavaBeans
- Demo code and beans
In development, we have:
- Networked Collaboration system to directly use OpenMath JavaBeans
- Implementation of a proposed standard for handling Content
Dictionaries
- Development of encodings for low-bandwidth, mission-critical
applications.
- OpenMath Services
- where we are building openMath compliant tools, from numerical
systems and symbolic engines, to theorem provers and online books.
Last modified: January 26, 2000
James Nedila