Jake E. Palmer

From MaRDI portal
Person:2102944

Available identifiers

zbMath Open palmer.jake-eMaRDI QIDQ2102944

List of research outcomes





PublicationDate of PublicationType
Formalising geometric axioms for Minkowski spacetime and without-loss-of-generality theorems2024-12-17Paper
Correction to: ``Towards formalising Schutz' axioms for Minkowski spacetime in Isabelle/HOL2023-06-14Paper
Towards formalising Schutz' axioms for Minkowski spacetime in Isabelle/HOL2022-12-12Paper

Research outcomes over time

This page was built for person: Jake E. Palmer

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:2102944&oldid=6267437"
Powered by MediaWiki