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
