Marc Gaëtano
INRIA, Sophia-Antipolis, France.
Emails: gaetano@kama.inria.fr
The goal of the OpenMath project is to define a platform-independent standard for the representation of mathematical objects so that they may be exchanged in a meaningful way between various software tools. The first official version of the OpenMath specification was released in December 1997 together with a first implementation of this specification, in the form of a C library. To ensure a faithful realization, a second, independent implementation with the same API (Application Program Interface) was built using Aldor. Experiments have been performed with these two libraries : the C library has been embedded in two main-stream computer algebra systems, Maple and Reduce, which can now communicate with each other and Aldor, and with specialized programs also linking the libraries.
In this talk, we will present the current version of the OpenMath standard and we will discuss some of the problems encountered in developing the API and the solutions we have chosen. OpenMath is still evolving and feedback from this first specification and implementation is necessary to ensure that it can successfully reach its goals.
Go to: