We stand with Ukraine  

Timothy Gowers

Affiliations:
  • University of Cambridge


According to our database1, Timothy Gowers authored at least 19 papers between 1992 and 2025.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2025
Automatically Generalizing Proofs and Statements.
[BibTeX]
[DOI]
Anshula Gandhi
,
Anand Rao Tadipatri
,
Timothy Gowers
Proceedings of the 16th International Conference on Interactive Theorem Proving, 2025

2024
Data for Mathematical Copilots: Better Ways of Presenting Proofs for Machine Learning.
[BibTeX]
[DOI]
Simon Frieder
,
Jonas Bayer
,
Katherine M. Collins
,
Julius Berner
,
Jacob Loader
,
András Juhász
,
Fabian Ruehle
,
Sean Welleck
,
Gabriel Poesia
,
Ryan-Rhys Griffiths
,
Adrian Weller
,
Anirudh Goyal
,
Thomas Lukasiewicz
,
Timothy Gowers
CoRR, 2024

2023
Evaluating Language Models for Mathematics through Interactions.
[BibTeX]
[DOI]
Katherine M. Collins
,
Albert Q. Jiang
,
Simon Frieder
,
Lionel Wong
,
Miri Zilka
,
Umang Bhatt
,
Thomas Lukasiewicz
,
Yuhuai Wu
,
Joshua B. Tenenbaum
,
William Hart
,
Timothy Gowers
,
Wenda Li
,
Adrian Weller
,
Mateja Jamnik
CoRR, 2023

2022
High-dimensional tennis balls.
[BibTeX]
[DOI]
Timothy Gowers
,
Katarzyna Wyczesany
Comb. Theory, 2022

Mixing in Non-Quasirandom Groups.
[BibTeX]
[DOI]
W. T. Gowers
,
Emanuele Viola
Proceedings of the 13th Innovations in Theoretical Computer Science Conference, 2022

2021
The length of an s-increasing sequence of r-tuples.
[BibTeX]
[DOI]
W. T. Gowers
,
Jason Long
Comb. Probab. Comput., 2021

Generalizations of the Ruzsa-Szemerédi and rainbow Turán problems for cliques.
[BibTeX]
[DOI]
W. T. Gowers
,
Barnabás Janzer
Comb. Probab. Comput., 2021

A Graphical User Interface Framework for Formal Verification.
[BibTeX]
[DOI]
Edward W. Ayers
,
Mateja Jamnik
,
William T. Gowers
Proceedings of the 12th International Conference on Interactive Theorem Proving, 2021

2019
Subsets of Cayley Graphs that Induce Many Edges.
[BibTeX]
[DOI]
Timothy Gowers
,
Oliver Janzer
Theory Comput., 2019

Interleaved Group Products.
[BibTeX]
[DOI]
W. T. Gowers
,
Emanuele Viola
SIAM J. Comput., 2019

A Human-Oriented Term Rewriting System.
[BibTeX]
[DOI]
Edward William Ayers
,
William T. Gowers
,
Mateja Jamnik
Proceedings of the KI 2019: Advances in Artificial Intelligence, 2019

2017
A Fully Automatic Theorem Prover with Human-Style Output.
[BibTeX]
[DOI]
M. Ganesalingam
,
W. T. Gowers
J. Autom. Reason., 2017

2016
The Multiparty Communication Complexity of Interleaved Group Products.
[BibTeX]
[DOI]
W. T. Gowers
,
Emanuele Viola
Proceedings of the IEEE 57th Annual Symposium on Foundations of Computer Science, 2016

2015
The communication complexity of interleaved group products.
[BibTeX]
[DOI]
Timothy Gowers
,
Emanuele Viola
Proceedings of the Forty-Seventh Annual ACM on Symposium on Theory of Computing, 2015

2013
A fully automatic problem solver with human-style output.
[BibTeX]
[DOI]
M. Ganesalingam
,
W. T. Gowers
CoRR, 2013

2008
Quasirandom Groups.
[BibTeX]
[DOI]
W. T. Gowers
Comb. Probab. Comput., 2008

2006
Quasirandomness, Counting and Regularity for 3-Uniform Hypergraphs.
[BibTeX]
[DOI]
W. T. Gowers
Comb. Probab. Comput., 2006

1996
An Almost m-wise Independed Random Permutation of the Cube.
[BibTeX]
[DOI]
W. T. Gowers
Comb. Probab. Comput., 1996

1992
Lipschitz functions on classical spaces.
[BibTeX]
[DOI]
W. T. Gowers
Eur. J. Comb., 1992


  Loading...