Formalizing Physics: Automation, Presentation and Foundation Issues
From MaRDI portal
Publication:3453125
DOI10.1007/978-3-319-20615-8_19zbMath1417.68186OpenAlexW1752290031WikidataQ108482150 ScholiaQ108482150MaRDI QIDQ3453125
Sofiène Tahar, Josef Urban, Cvetan Dunchev, Umair Siddique, Cezary Kaliszyk, Sanaz Khan-Afshar
Publication date: 20 November 2015
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-319-20615-8_19
Related Items
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- MizAR 40 for Mizar 40
- Formal analysis of optical systems
- A compendium of continuous lattices in MIZAR
- HOL(y)Hammer: online ATP service for HOL Light
- Learning-assisted automated reasoning with \(\mathsf{Flyspeck}\)
- Formal Verification of Optical Quantum Flip Gate
- Engineering mathematics
- The Four Colour Theorem: Engineering of a Formal Proof
- Large Formal Wikis: Issues and Solutions
- MaSh: Machine Learning for Sledgehammer
- Realms: A Structure for Consolidating Knowledge about Mathematical Theories