%0 Book Section %1 Hilf2006 %A Hilf, Eberhard %A Kohlhase, Michael %A Stamerjohanns, Heinrich %A Borwein, Jonathan %A Farmer, William %B Lecture Notes in Computer Science %D 2006 %I Springer Berlin / Heidelberg %K *file-import-13-09-19 omdoc %P 165--178 %R 10.1007/11812289\_14 %T Capturing the Content of Physics: Systems, Observables, and ExperimentsMathematical Knowledge Management %U http://dx.doi.org/10.1007/11812289\_14 %V 4108 %X 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. %& Capturing the Content of Physics: Systems, Observables, and ExperimentsMathematical Knowledge Management

@inbook{Hilf2006, abstract = {{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.}}, added-at = {2019-03-11T21:00:05.000+0100}, author = {Hilf, Eberhard and Kohlhase, Michael and Stamerjohanns, Heinrich and Borwein, Jonathan and Farmer, William}, biburl = {https://www.bibsonomy.org/bibtex/2a59992f76bb6ff6d9d6d86ddaef6b514/fairybasslet}, chapter = {Capturing the Content of Physics: Systems, Observables, and ExperimentsMathematical Knowledge Management}, citeulike-article-id = {10005897}, citeulike-linkout-0 = {http://dx.doi.org/10.1007/11812289\_14}, comment = {978-3-540-37104-5}, doi = {10.1007/11812289\_14}, interhash = {0aa950494cb7b07341c5267c6e4bab3b}, intrahash = {a59992f76bb6ff6d9d6d86ddaef6b514}, keywords = {*file-import-13-09-19 omdoc}, pages = {165--178}, pdf = {http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.83.5771\&rep=rep1\&type=pdf}, posted-at = {2011-11-09 00:54:10}, priority = {2}, publisher = {Springer Berlin / Heidelberg}, series = {Lecture Notes in Computer Science}, timestamp = {2019-03-11T21:06:37.000+0100}, title = {{Capturing the Content of Physics: Systems, Observables, and ExperimentsMathematical Knowledge Management}}, url = {http://dx.doi.org/10.1007/11812289\_14}, volume = 4108, year = 2006 }