Eberhard R. Hilf, Michael Kohlhase, Heinrich Stamerjohanns. Capturing the Content of Physics: Systems, Observables, and Experiments. In Jonathan M. Borwein, William M. Farmer, editors, Mathematical Knowledge Management, 5th International Conference, MKM 2006, Wokingham, UK, August 11-12, 2006, Proceedings. Volume 4108 of Lecture Notes in Computer Science, pages 165-178, Springer, 2006. [doi]
Abstract is missing.