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

Authors:
Eberhard R. Hilf;Michael Kohlhase;Heinrich Stamerjohanns
Affiliations:
Institute for Science Networking, Oldenburg;Computer Science, International University, Bremen;Computer Science, International University, Bremen
Venue:
MKM'06 Proceedings of the 5th international conference on Mathematical Knowledge Management
Year:
2006

Citing 1
Cited 2

OMDoc -- An Open Markup Format for Mathematical Documents [version 1.2]: Foreword by Alan Bundy (Lecture Notes in Computer Science)

OMDoc -- An Open Markup Format for Mathematical Documents [version 1.2]: Foreword by Alan Bundy (Lecture Notes in Computer Science)

Towards Mathematical Knowledge Management for Electrical Engineering

Calculemus '07 / MKM '07 Proceedings of the 14th symposium on Towards Mechanized Mathematical Assistants: 6th International Conference
Compensating the Computational Bias of Spreadsheets with MKM Techniques

Calculemus '09/MKM '09 Proceedings of the 16th Symposium, 8th International Conference. Held as Part of CICM '09 on Intelligent Computer Mathematics

Quantified Score

Hi-index	0.00

Visualization

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.