Oliver Nash

According to our database, Oliver Nash authored at least 5 papers between 2020 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Engel's Theorem in Mathlib.

Oliver Nash

J. Autom. Reason., June, 2023

A Formalisation of Gallagher's Ergodic Theorem.

Oliver Nash

Proceedings of the 14th International Conference on Interactive Theorem Proving, 2023

Formalising the h-Principle and Sphere Eversion.

Floris van Doorn, Patrick Massot, Oliver Nash

Proceedings of the 12th ACM SIGPLAN International Conference on Certified Programs and Proofs, 2023

2022

Formalising lie algebras.

Oliver Nash

Proceedings of the CPP '22: 11th ACM SIGPLAN International Conference on Certified Programs and Proofs, Philadelphia, PA, USA, January 17, 2022

2020

Slowing the Spread of Infectious Diseases Using Crowdsourced Data.

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

IEEE Data Eng. Bull., 2020