Pages that link to "Item:Q830382"
From MaRDI portal
The following pages link to A system of axioms for Minkowski spacetime (Q830382):
Displaying 5 items.
- 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)
- Verisimilitude Redefined (Q3717731) (← links)
- Hermann Minkowski, Relativity and the Axiomatic Approach to Physics (Q5391054) (← links)
- Ordered absolute geometry (Q6536762) (← links)