Formalization of Gyrovector Spaces as Models of Hyperbolic Geometry and Special Relativity by Filip Marić and Jelena Markovic Mar 16
0009-0007-4797-2666