Mathematics/Physics
Subject Classification
AMS: General and overarching topics; collections / General applied mathematics / Physics
2023
No Faster-Than-Light Observers (GenRel)
by Mike Stannett, Edward Higgins, Hajnal Andreka, Judit Madarasz, István Németi and Gergely Szekely
2021
Schutz' Independent Axioms for Minkowski Spacetime
by Richard Schmoetten, Jake Palmer and Jacques D. Fleuriot
2020
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