Richard Schmoetten

Generating author description...

All published works

Action	Title	Year	Authors
+ PDF Chat	Formally Verified Neurosymbolic Trajectory Learning via Tensor-based Linear Temporal Logic on Finite Traces	2025	Mark Chevallier Filip Smola Richard Schmoetten Jacques Fleuriot
+ PDF Chat	A Construction of the Lie Algebra of a Lie Group in Isabelle/HOL	2024	Richard Schmoetten Jacques Fleuriot
+ PDF Chat	Towards Formalising Schutz’ Axioms for Minkowski Spacetime in Isabelle/HOL	2022	Richard Schmoetten Jake E. Palmer Jacques Fleuriot
+ PDF Chat	Formalising Geometric Axioms for Minkowski Spacetime and Without-Loss-of-Generality Theorems	2021	Richard Schmoetten Jake E. Palmer Jacques Fleuriot
+	Towards Formalising Schutz' Axioms for Minkowski Spacetime in Isabelle/HOL	2021	Richard Schmoetten Jake E. Palmer Jacques Fleuriot

Common Coauthors

Coauthor	Papers Together
Jacques Fleuriot	5
Jake E. Palmer	3
Filip Smola	1
Mark Chevallier	1

Commonly Cited References

Action	Title	Year	Authors	# of times referenced
+	Without Loss of Generality	2009	John Harrison	2
+	Computer-Assisted Theorem Proving in Synthetic Geometry	2018	Julien Narboux Predrag Janičić Jacques Fleuriot	2
+	An Axiom System for General Relativity Complete with respect to Lorentzian Manifolds	2013	Hajnal Andréka Judit X. Madarász István Németi Gergely Székely A. Rényi	2
+ PDF Chat	Kinematic geometry; an axiomatic system for Minkowski space-time	1968	G Szekeres	2
+ PDF Chat	A System of Axioms for Minkowski Spacetime	2020	Lorenzo Cocco Joshua Babic	2
+ PDF Chat	Formalising Ordinal Partition Relations Using Isabelle/HOL	2021	Mirna Džamonja Angeliki Koutsoukou-Argyraki Lawrence C. Paulson	2
+	Orthogonality and Spacetime Geometry	1987	Robert Goldblatt	2
+	On Logical Analysis of Relativity Theories	2011	Hajnal Andréka István Németi Judit X. Madarász Gergely Székely	2
+	First-Order Spacetime Geometry	1989	Robert Goldblatt	2
+ PDF Chat	Using Isabelle/HOL to Verify First-Order Relativity Theory	2013	Mike Stannett István Németi	2
+	Ordered geometry in Hilbert's Grundlagen der Geometrie	2015	Phil Scott	2
+	Independent Axioms for Minkowski Space-Time	1997	John W. Schutz	2
+ PDF Chat	A Formulation of the Kepler Conjecture	2006	Thomas Hales Samuel P. Ferguson	1
+	From Tarski to Hilbert	2013	Gabriel Braun Julien Narboux	1
+	Mechanical Theorem Proving in Tarski’s Geometry	2007	Julien Narboux	1
+	A Mechanical Verification of the Independence of Tarski's Euclidean Axiom	2012	Timothy James McKenzie Makarios	1
+	Special Relativity in General Frames	2013	Éric Gourgoulhon	1
+ PDF Chat	Tarski's geometry modelled in Mizar computerized proof assistant	2016	Adam Grabowski	1
+ PDF Chat	From LCF to Isabelle/HOL	2019	Lawrence C. Paulson Tobias Nipkow Makarius Wenzel	1
+	Essays on the Theory of Numbers: I. Continuity and Irrational Numbers, II. the Nature and Meaning of Numbers	2009	Richard Dedekind	1
+ PDF Chat	A potential foundation for emergent space-time	2014	Kevin H. Knuth Newshaw Bahreyni	1
+ PDF Chat	Towards Formalising Schutz’ Axioms for Minkowski Spacetime in Isabelle/HOL	2022	Richard Schmoetten Jake E. Palmer Jacques Fleuriot	1
+ PDF Chat	Formalizing Ordinal Partition Relations Using Isabelle/HOL	2021	Mirna Džamonja Angeliki Koutsoukou-Argyraki Lawrence C. Paulson	1
+ PDF Chat	Formalising Geometric Axioms for Minkowski Spacetime and Without-Loss-of-Generality Theorems	2021	Richard Schmoetten Jake E. Palmer Jacques Fleuriot	1
+	Proceedings of the 13th International Conference on Automated Deduction in Geometry	2021	Predrag Janičić Zoltán Kovács	1
+ PDF Chat	Foundations of Special Relativity: Kinematic Axioms for Minkowski Space-Time	1973	John W. Schutz	1
+	What is Elementary Geometry?	1959	Alfred Tarski	1
+ PDF Chat	Vienna Circle and Logical Analysis of Relativity Theory	2011	Hajnal Andréka Judit X. Madarász István Németi Péter Németi Gergely Székely	1
+ PDF Chat	Formalizing Projective Plane Geometry in Coq	2011	Nicolas Magaud Julien Narboux Pascal Schreck	1
+	Geometry of Time and Space	2011	Alfred A. Robb	1
+ PDF Chat	A FORMAL PROOF OF THE KEPLER CONJECTURE	2017	Thomas Hales Mark Adams Gertrud Bauer TAT DAT DANG John Harrison Hoang Le Truong Cezary Kaliszyk Victor Magron Sean McLaughlin TAT THANG NGUYEN	1
+ PDF Chat	A system of axioms for geometry	1904	Oswald Veblen	1
+	The thirteen books of Euclid's Elements	1956	Euclid	1
+	The Foundations Of Geometry	1902	David Hilbert	1
+ PDF Chat	Origin of complex quantum amplitudes and Feynman’s rules	2010	Philip Goyal Kevin H. Knuth John Skilling	1
+	An Undulatory Theory of the Mechanics of Atoms and Molecules	1926	Erwin Schrödinger	1
+	Geometry of Time and Space	1936	George D. Birkhoff	1