OpenMath
A standard mechanism for representing mathematical objects electronically
Unambiguous semantics
Machine-processable
System-independent
Extensible
Lightweight
Scalable
Previous slide
Next slide
Back to first slide
View graphic version