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

DOI10.1007/11812289_14MaRDI QIDQ5756754zbMATH OpenOpenAlexFDO

Authors Eberhard Hilf, Michael Kohlhase, Heinrich Stamerjohanns

Publication date 5 September 2007

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/11812289_14

Mathematics Subject Classification ID

Physics (00A79) Knowledge representation (68T30)

Recommendations

• Extending MKM formats at the statement level
• A Mathematical Type for Physical Variables
• Formalizing physics: automation, presentation and foundation issues
• scientific article; zbMATH DE number 1784378
• A survey of languages for formalizing mathematics

Cited in

(2)

• Compensating the Computational Bias of Spreadsheets with MKM Techniques
• A Mathematical Type for Physical Variables

This page was built for publication: Capturing the Content of Physics: Systems, Observables, and Experiments

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5756754)