Tim Gowers
- Department of Pure Mathematics and Mathematical Statistics
My research interests
- Analysis
- Combinatorics
People I collaborate with
I’m currently working on 1 CCIMI project
Human oriented automatic theorem proving
View the project
CCIMI is part of the Faculty of Mathematics, a collaboration between DAMTP and DPMMS