Proof verification and proof discovery for relativity
From MaRDI portal
Publication:514557
DOI10.1007/S11229-014-0424-3zbMATH Open1404.68134OpenAlexW1980505047MaRDI QIDQ514557FDOQ514557
Authors: Naveen Sundar Govindarajalulu, Selmer Bringsjord, 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
Recommendations
automated physicsaxiomatizations in physicslogic and relativityproof verificationtheorem proving in physics
Cites Work
- Title not available (Why is that?)
- Vivid: a framework for heterogeneous problem solving
- A Brief Overview of Mizar
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Computability and Logic
- Title not available (Why is that?)
- A logic road from special relativity to general relativity
- Logical analysis of relativity theories
- Using Isabelle/HOL to verify first-order relativity theory
- Title not available (Why is that?)
Cited In (6)
- Is universal computation a myth?
- GROUPS OF WORLDVIEW TRANSFORMATIONS IMPLIED BY EINSTEIN’S SPECIAL PRINCIPLE OF RELATIVITY OVER ARBITRARY ORDERED FIELDS
- Using Isabelle/HOL to verify first-order relativity theory
- Investigations of isotropy and homogeneity of spacetime in first-order logic
- Formalizing physics: automation, presentation and foundation issues
- Axiomatizing relativistic dynamics using formal thought experiments
Uses Software
This page was built for publication: Proof verification and proof discovery for relativity
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q514557)
