Richard Schmoetten

From MaRDI portal
Person:2102943

Available identifiers

zbMath Open schmoetten.richardMaRDI QIDQ2102943

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: Richard Schmoetten

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