Richard Schmoetten

Publication Activity (10 Years)

Years Active: 2021-2024
Publications (10 Years): 7

Top Topics

Top Venues

Arch. Formal Proofs

J. Autom. Reason.

Publications

Richard Schmoetten, Jacques D. Fleuriot
A Construction of the Lie Algebra of a Lie Group in Isabelle/HOL. CoRR (2024)
Richard Schmoetten, Jacques D. Fleuriot
Lie Groups and Algebras. Arch. Formal Proofs 2024 (2024)
Richard Schmoetten, Jake E. Palmer, Jacques D. Fleuriot
Correction: Towards Formalising Schutz' Axioms for Minkowski Spacetime in Isabelle/HOL. J. Autom. Reason. 67 (1) (2023)
Richard Schmoetten, Jake E. Palmer, Jacques D. Fleuriot
Formalising Geometric Axioms for Minkowski Spacetime and Without-Loss-of-Generality Theorems. CoRR (2022)
Richard Schmoetten, Jake E. Palmer, Jacques D. Fleuriot
Towards Formalising Schutz' Axioms for Minkowski Spacetime in Isabelle/HOL. J. Autom. Reason. 66 (4) (2022)
Richard Schmoetten, Jake E. Palmer, Jacques D. Fleuriot
Schutz' Independent Axioms for Minkowski Spacetime. Arch. Formal Proofs 2021 (2021)
Richard Schmoetten, Jake E. Palmer, Jacques D. Fleuriot
Towards Formalising Schutz' Axioms for Minkowski Spacetime in Isabelle/HOL. CoRR (2021)