| Home | Events | Projects | Members |
We here list current projects from the members of BLUE.
| Friedman's Theorem |
| The aim of this project is to formalise the new proof of Friedman's Theorem using the polynomial method developed by Chen, Garza-Vargas, Tropp and van Handel in this article. The topics covered by the projects are broad, with graphs, spectral theory, real distributions, random matrices. We welcome new contributors, please contact Laura Monk if you want to join. |