Pages that link to "Item:Q1090929"
From MaRDI portal
The following pages link to Orthogonality and spacetime geometry (Q1090929):
Displaying 15 items.
- A logic road from special relativity to general relativity (Q383001) (← links)
- Axiomatizing relativistic dynamics using formal thought experiments (Q514563) (← links)
- On the axiomatizability of some first-order spatio-temporal theories (Q514577) (← links)
- A geometrical characterization of the twin paradox and its variants (Q609644) (← links)
- A system of axioms for Minkowski spacetime (Q830382) (← links)
- Uniqueness of Abelian affine chronogeometry (Q1335908) (← links)
- Intersection of a double cone and a line in the split-quaternions context (Q1695175) (← links)
- From geometry to conceptual relativity (Q1707209) (← links)
- Towards formalising Schutz' axioms for Minkowski spacetime in Isabelle/HOL (Q2102946) (← links)
- Complexity in the interdefinability of timelike, lightlike and spacelike relatedness of Minkowski spacetime (Q2120977) (← links)
- Investigations of isotropy and homogeneity of spacetime in first-order logic (Q2159931) (← links)
- Geometry at Cambridge, 1863--1940 (Q2507651) (← links)
- The axiomatic geometry of Space-Time: An assessment of the work of A. A. Robb (Q4198462) (← links)
- Geometrical structures and modal logic (Q4632288) (← links)
- Ordered absolute geometry (Q6536762) (← links)