Correction to: ``Towards formalising Schutz' axioms for Minkowski spacetime in Isabelle/HOL

DOI10.1007/s10817-022-09651-1zbMath1515.68347OpenAlexW4316041179MaRDI QIDQ6156637

Jake E. Palmer, Richard Schmoetten, Jacques D. Fleuriot

Publication date: 14 June 2023

Published in: Journal of Automated Reasoning (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10817-022-09651-1

Mathematics Subject Classification ID

Special relativity (83A05) Formalization of mathematics in connection with theorem provers (68V20) Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)

This page was built for publication: Correction to: ``Towards formalising Schutz' axioms for Minkowski spacetime in Isabelle/HOL