Next:
Contents
Contents
The OpenMath Project
Final Report
The OpenMath Consortium
Contents
Executive Summary
Objectives and Results
Technical Summary
Summary
The OpenMath Standard
OpenMath Architecture
OpenMath Objects
OpenMath Encodings
OpenMath Content Dictionaries
Signatures
Light-weight Simple Type System
Calculus of Constructions
Defining Mathematical Properties
OpenMath Phrasebooks
OpenMath Compliancy
OpenMath and MathML
MathML
Relationship with OpenMath: Presentation
Relationship with OpenMath: Content
Summary
Software Tools
OpenMath libraries
The C library
The C++ library
The Java library
The Aldor library
Searching tools
Multimedia Tools
Stilo MathWriter
Jome
Conversion tools
Applications
Mathematical Applications
Writing Phrasebooks for Existing Mathematical Software
AXIOM
Reduce
The Multiple Integrators Demonstrator
GAP
Mathematica
The NAG Library
Electronic Journal Databases
OpenMath points
JCM points
Text, data or both?
Implicit mathematical information
Conclusions
Electronic Books
Conclusions
Bibliography
About this document ...
The OpenMath Consortium
