Oliver Nash

Publication Activity (10 Years)

Years Active: 2020-2023
Publications (10 Years): 9

Top Topics

Top Venues

J. Autom. Reason.

Publications

Floris van Doorn, Patrick Massot, Oliver Nash
Formalising the h-Principle and Sphere Eversion. CPP (2023)
Oliver Nash
Engel's Theorem in Mathlib. J. Autom. Reason. 67 (2) (2023)
Oliver Nash
Engel's theorem in Mathlib. CoRR (2023)
Oliver Nash
A Formalisation of Gallagher's Ergodic Theorem. ITP (2023)
Oliver Nash
A formalisation of Gallagher's ergodic theorem. CoRR (2023)
Patrick Massot, Floris van Doorn, Oliver Nash
Formalising the h-principle and sphere eversion. CoRR (2022)
Oliver Nash
Formalising lie algebras. CPP (2022)
Oliver Nash
Formalising Lie algebras. CoRR (2021)
Sydney von Arx, Isaiah Becker-Mayer, Daniel Blank, Jesse Colligan, Rhys Fenwick, Mike Hittle, Mark Ingle, Oliver Nash, Victoria Nguyen, James Petrie, Jeff Schwaber, Zsombor Szabo, Akhil Veeraghanta, Mikhail Voloshin, Tina White, Helen Xue
Slowing the Spread of Infectious Diseases Using Crowdsourced Data. IEEE Data Eng. Bull. 43 (2) (2020)