Capturing the Content of Physics: Systems, Observables, and Experiments

  • Eberhard R. Hilf
  • Michael Kohlhase
  • Heinrich Stamerjohanns
Part of the Lecture Notes in Computer Science book series (LNCS, volume 4108)


We present a content markup language for physics realized by extending the OMDoc format by an infrastructure for the principal concepts of physics: observables, physical systems, and experiments. The formalization of the description of physics observables follows the structural essence of the operational theory of physics measurements. The representational infrastructure for systems and experiments allow to capture the distinctive practice of physics: natural laws are supported by evidence from experiments which are described, disseminated and reproduced by others.


Type System Mathematical Object Computer Algebra System Principal Object Markup Language 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [Bri27]
    Bridgeman, P.: The logic of modern physics. Comment: the book could not be traced but is well cited, and all publications following this on operational foundation of the theory of measurement (1927)Google Scholar
  2. [CML05]
    Chemical Markup Language CML (seen July 2005), web page at:
  3. [EB72]
    Einstein, A., Born, M.: Briefwechsel 1916 - 1955. Rowohlt Verlag, Reinbek (1972)Google Scholar
  4. [ERH05]
    Mimkes, J., Hilf, E.R.: Zu einem verlustfreien Publizieren und Archivieren (seen July 2005), web page at:
  5. [Fal70a]
    Falk, G.: Theoretische Physik I und Ia. Heidelberger Taschenbücher. Springer, Heidelberg (1970)Google Scholar
  6. [Fal70b]
    Falk, G.: Theoretische Physik II Thermodynamik. Heidelberger Taschenbücher. Springer, Heidelberg (1970)Google Scholar
  7. [Hil05a]
    Hilf, E.R.: Kann man TeX beibringen, Physik zu verstehen? In: Der Aufbau eines deutschen TeXDoc-Centers an der SUB Göttingen, — Chancen von TeX-Dokumenten für eine dauerhafte Verwertung und Publikation. Workshop des DFG-TeXDocC-Projektes, Die Deutsche Bibliothek Frankfurt (seen 2005-07-24, 2005)Google Scholar
  8. [Hil05b]
    Hilf, E.R.: Physml. In: Sesame 2005 Workshop Bremen. MKM Mathematical Knowldege Management (seen July 2005), web page at:, talk at web page at:
  9. [HMS03]
    Hilf, E.R., Mimkes, J., Schottmüller, H.: Die Zukunft des wisenschaftlichen Publizierens — Vom Publizieren zum Austausch von Informationen in der Wissenschaft (2003), web page at:
  10. [KK04]
    Kohlhase, A., Kohlhase, M.: CPoint: Dissolving the author’s dilemma. In: Asperti, A., Bancerek, G., Trybulec, A. (eds.) MKM 2004. LNCS, vol. 3119, pp. 175–189. Springer, Heidelberg (2004)CrossRefGoogle Scholar
  11. [Koh06a]
    Kohlhase, M.: A LaTeX-based workflow for omdoc. In: [koh06b] (to appear), manuscript at:
  12. [Koh06b]
    Kohlhase, M.: OMDoc An open markup format for mathematical documents (Version 1.2). LNCS (LNAI). Springer, Heidelberg (to appear, 2006), manuscript at: CrossRefGoogle Scholar
  13. [LK06]
    Lange, C., Kohlhase, M.: A semantic wiki for mathematical knowledge management. In: Proceedings of the 1st Workshop: SemWiki 2006 - From Wiki to Semantics (2006)Google Scholar
  14. [Mit70]
    Mittelstaedt, P.: Klassische Mechanik. In: Hochschultaschenbuecher. Bibliographisches Institut., vol. 500/500a (1970)Google Scholar
  15. [Pen06]
    Pendrill, L.R.: Metrology: time for a new look at the physics of traceable measurement? Europhysics News 37(1), 25 (2006)CrossRefGoogle Scholar
  16. [Sak93]
    Sakurai, J.J.: Modern Quantum Mechanics. Prentice-Hall, Englewood Cliffs (2015)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2006

Authors and Affiliations

  • Eberhard R. Hilf
    • 1
  • Michael Kohlhase
    • 2
  • Heinrich Stamerjohanns
    • 2
  1. 1.Institute for Science NetworkingOldenburg
  2. 2.Computer ScienceInternational UniversityBremen

Personalised recommendations