OpenMath support under CSL-hosted REDUCE

Abstract

OpenMath is a standard for representing mathematical objects. This paper describes an attempt to include OpenMath support into the computer algebra system REDUCE. This support is limited to the version based upon Cambridge Standard Lisp and is based upon the OpenMath C Library developed under Esprit project 24.969. The rationale for this effort was to avoid having to rewrite substantial amounts of code due to changes in the OpenMath standard but instead relying on the underlying C Library to provide the necessary modifications.