Oliver Nash
where else to find them
no profile links on file
what they talk about
their talks carry no tags yet
where they keep going back
- CPP2 editions2022–2023
on a stage with
- Floris van Doornonce
- Patrick Massotonce
who talks about the same things
nobody close enough yet
| title | conference | date |
|---|---|---|
| Formalising the h-principle and sphere eversion | CPP 2023 | 2023-01-16 |
Formalisation in Lean of the local h‑principle for first‑order, open, ample partial differential relations proves Smale’s sphere eversion as a corollary, using… | ||
| Formalising Lie algebras | CPP 2022 | 2022-01-17 |
Formalises finite‑dimensional Lie algebra theory in Lean + Mathlib, builds the classical families and the five exceptional algebras by constructing a free… | ||
| nothing matches | ||