Capturing the content of physics: Systems, observables, and experiments

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 4108 LNAI, Issue , 2006, Pages 165-178

  Hilf, Eberhard R ^a   Kohlhase, Michael ^b   Stamerjohanns, Heinrich ^b  

^a Institute for Science Networking   (Germany)

^b JACOBS UNIVERSITY BREMEN   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

INFORMATION DISSEMINATION; PHYSICS; THEOREM PROVING;

CONTENT MARKUP LANGUAGE; OMDOC FORMAT; OPERATIONAL THEORY OF PHYSICS;

XML;

EID: 33749546748     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11812289_14     Document Type: Conference Paper

References (17)

1. [Bri27] Percy Bridgeman. The logic of modern physics. Comment: the book could not be traced but is well cited, 1927. and all publications following this on operational foundation of the theory of measurement.
2. [CML05] Chemical Markup Language CML. Web page at http://www.ch.cam.ac. uk/CUCL/staff/pm.html, seen July 2005.
3. [EB72] Albert Einstein and Max Born. Briefwechsel 1916-1955. Rowohlt Verlag, Reinbek, 1972.
4. [ERH05] Julika Mimkes Eberhard R. Hilf. Zu einem verlustfreien Publizieren und Archivieren. Web page at http://www.isn-oldenburg.de/~hilf/ vortraege/mathdiss02/, seen July 2005.
5. [Fal70a] Gottfried Falk. Theoretische Physik I und Ia. Heidelberger Taschenbücher. Springer Verlag, 1970.
6. [Fal70b] Gottfried Falk. Theoretische Physik II Thermodynamik. Heidelberger Taschenbücher. Springer Verlag, 1970.
7. [Hil05a] Eberhard R. Hilf. 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.
8. [Hil05b] Eberhard R. Hilf. Physml. In Sesame 2005 Workshop Bremen. MKM Mathematical Knowldege Management, seen July 2005. Web page at http://www.mkm-ig.org/meetings/sesame05/program.html, talk at Web page at http://www.isn-oldenburg.de/hilf/vortraege/sesame05/index.html.
9. [HMS03] Eberhard R Hilf, Julika Mimkes, and Helmut Schottmüller. Die Zukunft des wisenschaftlichen Publizierens -Vom Publizieren zum Austausch von Informationen in der Wissenschaft. Web page at http://www.isn-oldenburg.de/ ~hilf/vortraege/guestrow03/, 2003.
10. [KK04] Andrea Kohlhase and Michael Kohlhase. CPoint: Dissolving the author's dilemma. In Andrea Asperti, Grzegorz Bancerek, and Andrej Trybulec, editors, Mathematical Knowledge Management, MKM'04, number 3119 in LNCS, pages 175-189. Springer Verlag, 2004.
11. [Koh06a] Michael Kohlhase. A LATEX-based workflow for omdoc.
12. [Koh06b]. to appear, manuscript at http://www.mathweb.org/omdoc/pubs/ omdoc1.2.pdf.
13. [Koh06b] Michael Kohlhase. OMDoc An open markup format for mathematical documents (Version 1.2). LNAI. Springer Verlag, 2006. to appear, manuscript at http://www.mathweb.org/omdoc/pubs/omdoc1.2.pdf.
14. [LK06] Christoph Lange and Michael Kohlhase. A semantic wiki for mathematical knowledge management. In Proceedings of the 1st Workshop; "SemWiki2006 - From Wiki to Semantics". 2006.
15. [Mit70] Peter Mittelstaedt. Klassische Mechanik, volume 500/500a of Hochschultaschenbuecher. Bibliographisches Institut, 1970.
16. [Pen06] L. R. Pendrill. Metrology: time for a new look at the physics of traceable measurement? Europhysics News, 37(1):25, 2006.
17. [Sak93] J. J. Sakurai. Modern Quantum Mechanics. Prentice Hall, 1993. ISBN 0201539.