Oliver Nash

Publications by Year

Research Areas

Logic, programming, and type systems, Homotopy and Cohomology in Algebraic Topology, Algebraic Geometry and Number Theory, Advanced Differential Geometry Research, Geometric and Algebraic Topology

Most-Cited Works

• Slowing the Spread of Infectious Diseases Using Crowdsourced Data.(2020)
• → A new approach to monopole moduli spaces(2007)13 cited
• → Singular Hyperbolic Monopoles(2007)7 cited
• → Formalising the h-Principle and Sphere Eversion(2023)6 cited
• Dierential Geometry of Monopole Moduli Spaces(2006)
• → Olympiad-level formal mathematical reasoning with reinforcement learning(2025)4 cited
• → Formalising lie algebras(2022)3 cited
• → On Klein’s icosahedral solution of the quintic(2013)2 cited
• → Engel’s Theorem in Mathlib(2023)2 cited
• Magnetic core memory reborn(2011)