Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Timothy Gowers
@article{DBLP:journals/corr/abs-2306-01694,
author = {Katherine M. Collins and
Albert Q. Jiang and
Simon Frieder and
Lionel Wong and
Miri Zilka and
Umang Bhatt and
Thomas Lukasiewicz and
Yuhuai Wu and
Joshua B. Tenenbaum and
William Hart and
Timothy Gowers and
Wenda Li and
Adrian Weller and
Mateja Jamnik},
title = {Evaluating Language Models for Mathematics through Interactions},
journal = {CoRR},
volume = {abs/2306.01694},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2306.01694},
doi = {10.48550/ARXIV.2306.01694},
eprinttype = {arXiv},
eprint = {2306.01694},
timestamp = {Mon, 12 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2306-01694.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/innovations/0001V22,
author = {W. T. Gowers and
Emanuele Viola},
editor = {Mark Braverman},
title = {Mixing in Non-Quasirandom Groups},
booktitle = {13th Innovations in Theoretical Computer Science Conference, {ITCS}
2022, January 31 - February 3, 2022, Berkeley, CA, {USA}},
series = {LIPIcs},
volume = {215},
pages = {80:1--80:9},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2022},
url = {https://doi.org/10.4230/LIPIcs.ITCS.2022.80},
doi = {10.4230/LIPICS.ITCS.2022.80},
timestamp = {Wed, 26 Jan 2022 14:33:51 +0100},
biburl = {https://dblp.org/rec/conf/innovations/0001V22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cpc/GowersJ21,
author = {W. T. Gowers and
Barnab{\'{a}}s Janzer},
title = {Generalizations of the Ruzsa-Szemer{\'{e}}di and rainbow Tur{\'{a}}n
problems for cliques},
journal = {Comb. Probab. Comput.},
volume = {30},
number = {4},
pages = {591--608},
year = {2021},
url = {https://doi.org/10.1017/S0963548320000589},
doi = {10.1017/S0963548320000589},
timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cpc/GowersJ21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cpc/GowersL21,
author = {W. T. Gowers and
Jason Long},
title = {The length of an s-increasing sequence of r-tuples},
journal = {Comb. Probab. Comput.},
volume = {30},
number = {5},
pages = {686--721},
year = {2021},
url = {https://doi.org/10.1017/S0963548320000371},
doi = {10.1017/S0963548320000371},
timestamp = {Tue, 16 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cpc/GowersL21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/itp/AyersJG21,
author = {Edward W. Ayers and
Mateja Jamnik and
William T. Gowers},
editor = {Liron Cohen and
Cezary Kaliszyk},
title = {A Graphical User Interface Framework for Formal Verification},
booktitle = {12th International Conference on Interactive Theorem Proving, {ITP}
2021, June 29 to July 1, 2021, Rome, Italy (Virtual Conference)},
series = {LIPIcs},
volume = {193},
pages = {4:1--4:16},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2021},
url = {https://doi.org/10.4230/LIPIcs.ITP.2021.4},
doi = {10.4230/LIPICS.ITP.2021.4},
timestamp = {Mon, 21 Jun 2021 14:45:49 +0200},
biburl = {https://dblp.org/rec/conf/itp/AyersJG21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eccc/GowersV21,
author = {Timothy Gowers and
Emanuele Viola},
title = {Mixing in non-quasirandom groups},
journal = {Electron. Colloquium Comput. Complex.},
volume = {{TR21-017}},
year = {2021},
url = {https://eccc.weizmann.ac.il/report/2021/017},
eprinttype = {ECCC},
eprint = {TR21-017},
timestamp = {Tue, 27 Sep 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/eccc/GowersV21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siamcomp/GowersV19,
author = {W. T. Gowers and
Emanuele Viola},
title = {Interleaved Group Products},
journal = {{SIAM} J. Comput.},
volume = {48},
number = {2},
pages = {554--580},
year = {2019},
url = {https://doi.org/10.1137/17M1126783},
doi = {10.1137/17M1126783},
timestamp = {Fri, 12 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/siamcomp/GowersV19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toc/GowersJ19,
author = {Timothy Gowers and
Oliver Janzer},
title = {Subsets of Cayley Graphs that Induce Many Edges},
journal = {Theory Comput.},
volume = {15},
pages = {1--29},
year = {2019},
url = {https://doi.org/10.4086/toc.2019.v015a020},
doi = {10.4086/TOC.2019.V015A020},
timestamp = {Tue, 09 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/toc/GowersJ19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ki/AyersGJ19,
author = {Edward William Ayers and
William T. Gowers and
Mateja Jamnik},
editor = {Christoph Benzm{\"{u}}ller and
Heiner Stuckenschmidt},
title = {A Human-Oriented Term Rewriting System},
booktitle = {{KI} 2019: Advances in Artificial Intelligence - 42nd German Conference
on AI, Kassel, Germany, September 23-26, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11793},
pages = {76--86},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-30179-8\_6},
doi = {10.1007/978-3-030-30179-8\_6},
timestamp = {Wed, 07 Dec 2022 23:13:16 +0100},
biburl = {https://dblp.org/rec/conf/ki/AyersGJ19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1804-09787,
author = {W. T. Gowers and
Emanuele Viola},
title = {Interleaved group products},
journal = {CoRR},
volume = {abs/1804.09787},
year = {2018},
url = {http://arxiv.org/abs/1804.09787},
eprinttype = {arXiv},
eprint = {1804.09787},
timestamp = {Fri, 12 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1804-09787.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/GanesalingamG17,
author = {M. Ganesalingam and
W. T. Gowers},
title = {A Fully Automatic Theorem Prover with Human-Style Output},
journal = {J. Autom. Reason.},
volume = {58},
number = {2},
pages = {253--291},
year = {2017},
url = {https://doi.org/10.1007/s10817-016-9377-1},
doi = {10.1007/S10817-016-9377-1},
timestamp = {Wed, 02 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jar/GanesalingamG17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/focs/GowersV16,
author = {W. T. Gowers and
Emanuele Viola},
editor = {Irit Dinur},
title = {The Multiparty Communication Complexity of Interleaved Group Products},
booktitle = {{IEEE} 57th Annual Symposium on Foundations of Computer Science, {FOCS}
2016, 9-11 October 2016, Hyatt Regency, New Brunswick, New Jersey,
{USA}},
pages = {289--294},
publisher = {{IEEE} Computer Society},
year = {2016},
url = {https://doi.org/10.1109/FOCS.2016.39},
doi = {10.1109/FOCS.2016.39},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/focs/GowersV16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eccc/GowersV16,
author = {Timothy Gowers and
Emanuele Viola},
title = {The multiparty communication complexity of interleaved group products},
journal = {Electron. Colloquium Comput. Complex.},
volume = {{TR16-127}},
year = {2016},
url = {https://eccc.weizmann.ac.il/report/2016/127},
eprinttype = {ECCC},
eprint = {TR16-127},
timestamp = {Tue, 27 Sep 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/eccc/GowersV16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stoc/GowersV15,
author = {Timothy Gowers and
Emanuele Viola},
editor = {Rocco A. Servedio and
Ronitt Rubinfeld},
title = {The communication complexity of interleaved group products},
booktitle = {Proceedings of the Forty-Seventh Annual {ACM} on Symposium on Theory
of Computing, {STOC} 2015, Portland, OR, USA, June 14-17, 2015},
pages = {351--360},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2746539.2746560},
doi = {10.1145/2746539.2746560},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/stoc/GowersV15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eccc/GowersV15,
author = {Timothy Gowers and
Emanuele Viola},
title = {The communication complexity of interleaved group products},
journal = {Electron. Colloquium Comput. Complex.},
volume = {{TR15-044}},
year = {2015},
url = {https://eccc.weizmann.ac.il/report/2015/044},
eprinttype = {ECCC},
eprint = {TR15-044},
timestamp = {Tue, 27 Sep 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/eccc/GowersV15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/GanesalingamG13,
author = {M. Ganesalingam and
W. T. Gowers},
title = {A fully automatic problem solver with human-style output},
journal = {CoRR},
volume = {abs/1309.4501},
year = {2013},
url = {http://arxiv.org/abs/1309.4501},
eprinttype = {arXiv},
eprint = {1309.4501},
timestamp = {Fri, 12 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/GanesalingamG13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cpc/Gowers08,
author = {W. T. Gowers},
title = {Quasirandom Groups},
journal = {Comb. Probab. Comput.},
volume = {17},
number = {3},
pages = {363--387},
year = {2008},
url = {https://doi.org/10.1017/S0963548307008826},
doi = {10.1017/S0963548307008826},
timestamp = {Thu, 12 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cpc/Gowers08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cpc/Gowers06,
author = {W. T. Gowers},
title = {Quasirandomness, Counting and Regularity for 3-Uniform Hypergraphs},
journal = {Comb. Probab. Comput.},
volume = {15},
number = {1-2},
pages = {143--184},
year = {2006},
url = {https://doi.org/10.1017/S0963548305007236},
doi = {10.1017/S0963548305007236},
timestamp = {Thu, 12 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cpc/Gowers06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cpc/Gowers96,
author = {W. T. Gowers},
title = {An Almost m-wise Independed Random Permutation of the Cube},
journal = {Comb. Probab. Comput.},
volume = {5},
pages = {119--130},
year = {1996},
url = {https://doi.org/10.1017/S0963548300001917},
doi = {10.1017/S0963548300001917},
timestamp = {Thu, 12 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cpc/Gowers96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ejc/Gowers92,
author = {W. T. Gowers},
title = {Lipschitz functions on classical spaces},
journal = {Eur. J. Comb.},
volume = {13},
number = {3},
pages = {141--151},
year = {1992},
url = {https://doi.org/10.1016/0195-6698(92)90020-Z},
doi = {10.1016/0195-6698(92)90020-Z},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ejc/Gowers92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-04-25 05:43 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
