Richard Schmoetten | DeepAI

DeepAI

AI Chat AI Image Generator AI Video AI Music Voice Chat Studio Ghibli

Featured Co-authors

Jacques Fleuriot
10 publications
Jacques D Fleuriot
6 publications
Jake Palmer
1 publication
Jake E. Palmer
1 publication

research

∙ 01/03/2022

Formalising Geometric Axioms for Minkowski Spacetime and Without-Loss-of-Generality Theorems

This contribution reports on the continued formalisation of an axiomatic...

0 Richard Schmoetten, et al. ∙

research

∙ 08/08/2021

Towards Formalising Schutz' Axioms for Minkowski Spacetime in Isabelle/HOL

Special Relativity is a cornerstone of modern physical theory. While a s...

0 Richard Schmoetten, et al. ∙