OpenMath - Guidelines for Tool Developers

TL;DR: This document explains the development and use of OpenMath Content Dictionaries, as well as some of the techniques used to create and manage OpenMath objects, which are described in detail in this document.

Abstract: 1 Introduction 21.1 Purpose of this Document . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 21.2 OpenMath Overview . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 21.3 OpenMath and MathML . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 21.4 OpenMath and OMDoc . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 32 Common Tasks 32.1 Rendering . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 32.1.1 Rendering via TEX . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 32.1.2 Rendering via MathML . . . . . . . . . . . . . . . . . . . . . . . . . . . . 42.1.3 Rendering via SVG . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 42.2 Generating OpenMath . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 52.3 Phrasebooks . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 52.4 Editing and Manipulating OpenMath objects . . . . . . . . . . . . . . . . . . . . 62.4.1 OpenMath Editing Tools . . . . . . . . . . . . . . . . . . . . . . . . . . . 62.5 Integrating Mathematical Applications . . . . . . . . . . . . . . . . . . . . . . . . 63 Issues 73.1 Extensibility . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 73.2 The XML and Binary OpenMath Encodings . . . . . . . . . . . . . . . . . . . . . 73.3 Using Generic XML tools with OpenMath . . . . . . . . . . . . . . . . . . . . . . 83.4 The Semantics of OpenMath Applications . . . . . . . . . . . . . . . . . . . . . . 83.4.1 Understanding and Using OpenMath Content Dictionaries (CDs) . . . . . 83.4.2 Private or Public Content Dictionaries . . . . . . . . . . . . . . . . . . . . 94 Conclusion 135 References 13