Proof verification and proof discovery for relativity
From MaRDI portal
Publication:514557
DOI10.1007/s11229-014-0424-3zbMath1404.68134OpenAlexW1980505047MaRDI QIDQ514557
Selmer Bringsjord, Naveen Sundar Govindarajalulu, Joshua A. Taylor
Publication date: 9 March 2017
Published in: Synthese (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s11229-014-0424-3
automated physicsaxiomatizations in physicslogic and relativityproof verificationtheorem proving in physics
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
Related Items (4)
Investigations of isotropy and homogeneity of spacetime in first-order logic ⋮ GROUPS OF WORLDVIEW TRANSFORMATIONS IMPLIED BY EINSTEIN’S SPECIAL PRINCIPLE OF RELATIVITY OVER ARBITRARY ORDERED FIELDS ⋮ Is Universal Computation a Myth? ⋮ Using Isabelle/HOL to verify first-order relativity theory
Uses Software
Cites Work
- A logic road from special relativity to general relativity
- Vivid: a framework for heterogeneous problem solving
- Using Isabelle/HOL to verify first-order relativity theory
- A Brief Overview of Mizar
- Computability and Logic
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
This page was built for publication: Proof verification and proof discovery for relativity
