OpenMath - Guidelines for Tool Developers
Stephen Buswell, James H. Davenport, David P. Carlisle, Mike Dewar · 2003
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