The following pages link to (Q5482811):
Displayed 11 items.
- The Thomsen-Bachmann correspondence in metric geometry. I (Q669609) (← links)
- The Thomsen-Bachmann correspondence in metric geometry. II (Q669614) (← links)
- Groups and plane geometry (Q817696) (← links)
- Axiomatizing relativistic dynamics without conservation postulates (Q941737) (← links)
- Parallel postulates and continuity axioms: a mechanized study in intuitionistic logic using Coq (Q1725841) (← links)
- The calculus of reflections and the order relation in hyperbolic geometry (Q1926114) (← links)
- Absolute isotropic geometry (Q1996192) (← links)
- Betweenness in graphs: a short survey on shortest and induced path betweenness (Q2329925) (← links)
- Twin paradox and the logical foundation of relativity theory (Q2505242) (← links)
- CONSTRUCTIVE GEOMETRY AND THE PARALLEL POSTULATE (Q5346689) (← links)
- Simpler foundations for the hyperbolic plane (Q6073705) (← links)