Mathematics/Physics

Subject Classification

AMS: General and overarching topics; collections / General applied mathematics / Physics

2021

Schutz' Independent Axioms for Minkowski Spacetime

by Richard Schmoetten, Jake Palmer and Jacques D. Fleuriot

Jul 27

Quantum projective measurements and the CHSH inequality

by Mnacho Echenim

Mar 03

2020

Isabelle Marries Dirac: a Library for Quantum Computation and Quantum Information

by Anthony Bordg, Hanna Lachnitt and Yijun He

Nov 22

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

by Simon Foster and Burkhart Wolff

Oct 20

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

by Albert Rizaldi and Fabian Immler

Jun 01

2016

No Faster-Than-Light Observers

by Mike Stannett and István Németi

Apr 28