The OpenMath Standard
Formal specifications of:
OpenMath objects
XML encoding
Binary encoding
Syntax for Content Dictionaries
Basic (meta) symbols for Content Dictionaries
Previous slide
Next slide
Back to first slide
View graphic version