We stand with Ukraine  

Timothy Gowers

Affiliations:
  • University of Cambridge


According to our database1, Timothy Gowers authored at least 16 papers between 1992 and 2023.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

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

2021
Mixing in non-quasirandom groups.
[BibTeX]
[DOI]
Timothy Gowers
,
Emanuele Viola
Electron. Colloquium Comput. Complex., 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]
Timothy Gowers
,
Emanuele Viola
Electron. Colloquium Comput. Complex., 2016

2015
The communication complexity of interleaved group products.
[BibTeX]
[DOI]
Timothy Gowers
,
Emanuele Viola
Electron. Colloquium Comput. Complex., 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...