Content-Level Mathematical Objects

  • Mathematical systems encode the objects they understand
  • Standards try to abstract differences between them all
    • OpenMath, MathML content
    • Beginning penetration...
    • Converters to/from math-systems exist (phrasebooks)
    • Presenters exist
  • Authoring tools... are at their beginning
    • Math systems, QMath, Jome
    • Practice is missing!
<-->