Pages that link to "Item:Q2351148"
From MaRDI portal
The following pages link to Using Isabelle/HOL to verify first-order relativity theory (Q2351148):
Displaying 5 items.
- Proof verification and proof discovery for relativity (Q514557) (← links)
- Towards formalising Schutz' axioms for Minkowski spacetime in Isabelle/HOL (Q2102946) (← links)
- Investigations of isotropy and homogeneity of spacetime in first-order logic (Q2159931) (← links)
- Specification, testing and verification of unconventional computations using generalized<i>X</i>-machines (Q2930717) (← links)
- GROUPS OF WORLDVIEW TRANSFORMATIONS IMPLIED BY EINSTEIN’S SPECIAL PRINCIPLE OF RELATIVITY OVER ARBITRARY ORDERED FIELDS (Q5078813) (← links)
