7 to slide 7a

Realization of PhysML

-- richer and more difficult than MathML --
  1. Input: Dictionary of Physics observables and knowledge (relations)

  2. Encoding: OMDOC (of Michael Kohlhase, JU-Bremen) capable to formulate any structured semantic content.

  3. Math content: is encapsulated using content-MathML

  4. Readout: uses a usepackage STeX for LaTeX

  5. Project: DockOn-project for German Science Foundation 2007 ?
    Collaboration of JUB, ISN, Univ.Duisburg, and an international discussion forum.