Pages that link to "Item:Q514557"
From MaRDI portal
The following pages link to Proof verification and proof discovery for relativity (Q514557):
Displaying 4 items.
- Investigations of isotropy and homogeneity of spacetime in first-order logic (Q2159931) (← links)
- Using Isabelle/HOL to verify first-order relativity theory (Q2351148) (← links)
- Is Universal Computation a Myth? (Q4686642) (← links)
- GROUPS OF WORLDVIEW TRANSFORMATIONS IMPLIED BY EINSTEIN’S SPECIAL PRINCIPLE OF RELATIVITY OVER ARBITRARY ORDERED FIELDS (Q5078813) (← links)
