Pages that link to "Item:Q793516"
From MaRDI portal
The following pages link to Axiomatic foundations of the kinematics common to classical physics and special relativity (Q793516):
Displaying 5 items.
- Axiomatizing relativistic dynamics using formal thought experiments (Q514563) (← links)
- Axiomatizing relativistic dynamics without conservation postulates (Q941737) (← links)
- Foundations of relativistic kinematics (Q1097535) (← links)
- A uniform syntactic structure for the theory of special relativity and classical mechanics (Q1342820) (← links)
- Towards formalising Schutz' axioms for Minkowski spacetime in Isabelle/HOL (Q2102946) (← links)