Get started
Author

Richard Schmoetten

Observed names: Schmoetten, Richard, Schmoetten, Richard H. J.
Observed institution: University of Edinburgh
ORCID: 0000-0003-1473-071X
Observed ORCID: 0000-0003-1473-071X
OpenAlex ID: A5005871728
Constructing the Lie Algebra of Smooth Vector Fields on a Lie Group in Isabelle/HOL
2025 · Richard Schmoetten, Jacques D. Fleuriot · Journal of Automated Reasoning · 3
PDF
Towards Formalising Schutz’ Axioms for Minkowski Spacetime in Isabelle/HOL
2022 · Richard Schmoetten, Jake E. Palmer, et al. · Journal of Automated Reasoning · 1
PDF
Formalising Geometric Axioms for Minkowski Spacetime and Without-Loss-of-Generality Theorems
2021 · Richard Schmoetten, Jake Palmer, et al. · Electronic Proceedings in Theoretical Computer Science · 1
PDF
Formalisation of Haag-Kastler nets in higher-order logic
2026 · Schmoetten, Richard H. J. · ERA
PDF
Formalisation in Isabelle/HOL: GNS Construction, Haag-Kastler Nets, and Miscellania around Types-to-Sets
2026 · Schmoetten, Richard · Zenodo (CERN European Organization for Nuclear Research)
Formally Verified Neurosymbolic Trajectory Learning via Tensor-based Linear Temporal Logic on Finite Traces
2025 · Chevallier, Mark, Smola, Filip, et al. · arXiv (Cornell University)
PDF
A Construction of the Lie Algebra of a Lie Group in Isabelle/HOL
2024 · Schmoetten, Richard, Fleuriot, Jacques D. · arXiv (Cornell University)
PDF
Correction: Towards Formalising Schutz’ Axioms for Minkowski Spacetime in Isabelle/HOL
2023 · Richard Schmoetten, Jake E. Palmer, et al. · Journal of Automated Reasoning
PDF
Schutz' Independent Axioms for Minkowski Spacetime.
2021 · Richard Schmoetten, Jake E. Palmer, et al. · Arch. Formal Proofs
Works count: 12
Citation count: 5
H-index: 1
I10-index:
Year
Topic
Type