Formulas semantics

• encoded with the european standard OpenMath
• formulas are independent of any context
  (except references of symbols)
• symbol-set can be enriched in a well defined way
• presentation comes next and can be configured
• software to convert to (and from) Computer Algebra Systems exist