Richard Schmoetten
Orcid: 0000-0003-1473-071X
According to our database1,
Richard Schmoetten
authored at least 4 papers
between 2021 and 2023.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2023
Correction: Towards Formalising Schutz' Axioms for Minkowski Spacetime in Isabelle/HOL.
J. Autom. Reason., March, 2023
2022
J. Autom. Reason., 2022
2021
Formalising Geometric Axioms for Minkowski Spacetime and Without-Loss-of-Generality Theorems.
Proceedings of the 13th International Conference on Automated Deduction in Geometry, 2021