In this paper, we report our first experiments in using learning-assisted automated reasoning for the formal analysis of physical systems. In particular, we investigate the performance of automated proofs as compared to interactive ones done in HOL for the verification of ray and electromagnetic optics. Apart from automation, we also provide brief initial exploration of more general issues in formalization of physics, such as its presentation and foundations.
CITATION STYLE
Kaliszyk, C., Urban, J., Siddique, U., Khan-Afshar, S., Dunchev, C., & Tahar, S. (2015). Formalizing physics: Automation, presentation and foundation issues. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 9150, pp. 288–295). Springer Verlag. https://doi.org/10.1007/978-3-319-20615-8_19
Mendeley helps you to discover research relevant for your work.