Oliver Nash
From MaRDI portal
Person:403218
Available identifiers
zbMath Open nash.oliverWikidataQ102305974 ScholiaQ102305974MaRDI QIDQ403218
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 | 2024-04-11 | Paper |
| Engel's theorem in Mathlib | 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 | 2014-08-29 | Paper |
| \(K\)-theory, LQEL manifolds and Severi varieties | 2014-07-31 | Paper |
| Singular hyperbolic monopoles | 2008-01-16 | Paper |
| A new approach to monopole moduli spaces | 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
