Mathematics/Physics

Formalization of Gyrovector Spaces as Models of Hyperbolic Geometry and Special Relativity

by Filip Marić and Jelena Markovic

The Halting Problem is Soluble in Malament-Hogarth Spacetimes

by Mike Stannett

No Faster-Than-Light Observers (GenRel)

by Mike Stannett, Edward Higgins, Hajnal Andreka, Judit Madarasz, István Németi and Gergely Szekely

Schutz' Independent Axioms for Minkowski Spacetime

by Richard Schmoetten, Jake Palmer and Jacques D. Fleuriot

A Sound Type System for Physical Quantities, Units, and Measurements

by Simon Foster and Burkhart Wolff

A Formally Verified Checker of the Safe Distance Traffic Rules for Autonomous Vehicles

by Albert Rizaldi and Fabian Immler

No Faster-Than-Light Observers

by Mike Stannett and István Németi