The Realization of an OpenMath Server for REDUCE

OpenMath is a standard for communicating mathematical objects between computer programs [3] in a multimedia computing environment. Such a standard in all its generality will revolutionize the workplace of a mathematician in the same way as the computer algebra tools did it in the last decade or the Internet in the last few years. To achieve this aim, processors have to pass the objects not in any string-type (a kind of denatured) form but they have to pass pointer into a mathematical description (called {Content Dictionaries (short: CD) in the OpenMath project terminology) on which both sides agreed before. This is a requirement for being OpenMath compliant. The mappings between the OpenMath CD and the systems objects and data structures are called phrasebook and these have to be provided by the system developers. This paper describes the OpenMath approach shortly and summarizes related work done in ZIB recently. A prototype of the REDUCE OpenMath server has been presented at the OpenMath workshop in ZIB in January 1998 and will be available for public usage in the Internet in the near future.