Oliver Nash
From MaRDI portal
List of research outcomes
This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!
| Publication | Date of Publication | Type |
|---|---|---|
| A formalisation of Gallagher's ergodic theorem | 2024-11-26 | Paper |
| A note on secant-defective varieties and Clifford modules Mediterranean Journal of Mathematics | 2024-04-11 | Paper |
| Engel's theorem in Mathlib Journal of Automated Reasoning | 2023-06-27 | Paper |
| A formalisation of Gallagher's ergodic theorem | 2023-02-01 | Paper |
| Formalising the $h$-principle and sphere eversion | 2022-10-14 | Paper |
| Formalising Lie algebras | 2021-12-08 | Paper |
| On Klein's icosahedral solution of the quintic Expositiones Mathematicae | 2014-08-29 | Paper |
| \(K\)-theory, LQEL manifolds and Severi varieties Geometry & Topology | 2014-07-31 | Paper |
| Singular hyperbolic monopoles Communications in Mathematical Physics | 2008-01-16 | Paper |
| A new approach to monopole moduli spaces Nonlinearity | 2007-07-20 | Paper |
| Differential geometry of monopole moduli spaces | 2006-10-09 | Paper |
Research outcomes over time
This page was built for person: Oliver Nash
