%% This BibTeX bibliography file was created using BibDesk.
%% http://bibdesk.sourceforge.net/




%% Saved with string encoding Unicode (UTF-8)

@article{GowersnewSzemeredi,
  author        = {Gowers, W. T.},
  date-modified = {2022-03-07 16:02:40 +0000},
  doi           = {10.1007/s00039-001-0332-9},
  isbn          = {1420-8970},
  journal       = {Geometric \& Functional Analysis GAFA},
  number        = {3},
  pages         = {465-588},
  title         = {A New Proof of {Szemer{\'e}di's} Theorem},
  volume        = {11},
  year          = {2001},
  bdsk-url-1    = {https://doi.org/10.1007/s00039-001-0332-9}
}

@misc{Gowersnotes,
  author = {Gowers, W. T.},
  note   = {Lecture notes for Part III of the Mathematical Tripos taught at the University of Cambridge, available at \url{https://drive.google.com/file/d/1ut0mUqSyPMweoxoDTfhXverEONyFgcuO/view}},
  title  = {Introduction to Additive Combinatorics},
  year   = {2022}
}


@misc{Zhaobook,
  author        = {Yufei Zhao},
  date-added    = {2022-04-01 15:01:03 +0100},
  date-modified = {2022-04-01 15:01:41 +0100},
  howpublished  = {Online at \url{https://yufeizhao.com/gtacbook/}},
  note          = {book draft},
  title         = {Graph Theory and Additive Combinatorics},
  year          = {2022}
}

@article{Undirected_Graph_Theory-AFP,
  author  = {Chelsea Edmonds},
  title   = {Undirected Graph Theory},
  journal = {Archive of Formal Proofs},
  month   = {September},
  year    = {2022},
  note    = {\url{https://isa-afp.org/entries/Undirected_Graph_Theory.html},
            Formal proof development},
  ISSN    = {2150-914x},
}

