OpenMath aims
A framework for exchanging semantically-rich representations of mathematical objects
extensible
light weight
scalable (? 1.6Gb objects)
flexible: a typesetter is not an algebra system is not a database
Previous slide
Next slide
Back to first slide
View graphic version