New blueprint introduction (#480)

The majority has been written by Christoph Thiele.

Also add affiliations & email addresses to blueprint

Also change the documentstyle.

Author: fpvandoorn

blueprint/src/bibliography.bib

@@ -78,6 +78,12 @@ @article{carleson
 	mrnumber     = {199631},
 	mrreviewer   = {J.-P. Kahane}
 }
+@misc{becker2024carlesonoperatorsdoublingmetric,
+      title={Carleson Operators on Doubling Metric Measure Spaces},
+      author={Lars Becker and Floris van Doorn and Asgar Jamneshan and Rajula Srivastava and Christoph Thiele},
+      year={2024},
+      eprint={2405.06423v2},
+}
 @book{MR0499948,
 	title        = {Analyse harmonique non-commuta--tive sur certains espaces homog\`enes},
 	author       = {Coifman, Ronald R. and Weiss, Guido},
@@ -880,3 +886,280 @@ @article{nicolaides1972class
 	number       = {3},
 	pages        = {435--445}
 }
+
+@inproceedings{mathlib,
+author = {The {mathlib Community}},
+title = {The {Lean} Mathematical Library},
+year = {2020},
+isbn = {9781450370974},
+publisher = {Association for Computing Machinery},
+address = {New York, NY, USA},
+doi = {10.1145/3372885.3373824},
+booktitle = {Proceedings of the 9th ACM SIGPLAN International Conference on Certified Programs and Proofs},
+pages = {367--381},
+numpages = {15},
+series = {CPP 2020}
+}
+
+@inproceedings{moura2021lean,
+  title = {The Lean 4 Theorem Prover and Programming Language},
+  booktitle = {Automated Deduction -- {{CADE}} 28: 28th International Conference on Automated Deduction, Virtual Event, July 12--15, 2021, Proceedings},
+  author = {de Moura, Leonardo and Ullrich, Sebastian},
+  editor = {Platzer, Andr{\'e} and Sutcliffe, Geoff},
+  year = {2021},
+  series = {Lecture Notes in Computer Science},
+  volume = {12699},
+  pages = {625--635},
+  publisher = {Springer International Publishing},
+  address = {Cham},
+  doi = {10.1007/978-3-030-79876-5_37},
+  isbn = {978-3-030-79876-5}
+}
+@book {Fourier,
+     AUTHOR = {Fourier, Jean Baptiste Joseph},
+     TITLE = {Th\'eorie Analytique de la Chaleur},
+ PUBLISHER = {Institut de France, Paris},
+      YEAR = {1822},
+}
+@book {MR3470070,
+    AUTHOR = {Fourier, Jean Baptiste Joseph},
+     TITLE = {\OE uvres de {F}ourier. {V}ol. 1},
+    SERIES = {Cambridge Library Collection},
+    EDITOR = {Darboux, Jean Gaston},
+      NOTE = {Reprint of the 1888 original},
+ PUBLISHER = {Cambridge University Press, Cambridge},
+      YEAR = {2013},
+     PAGES = {xxviii+563},
+      ISBN = {978-1-108-05938-1},
+   MRCLASS = {01A75},
+  MRNUMBER = {3470070},
+MRREVIEWER = {Maria\ Teresa\ Borgato},
+}
+@article {Luzin13,
+    AUTHOR = {Luzin, Nikolai},
+     TITLE = {Sur la convergence des s\'eries trigonom\'etrique de {F}ourier},
+   JOURNAL = {C. R. Acad. Sci. Paris},
+    VOLUME = {156},
+      YEAR = {1913},
+     PAGES = {1655--1658},
+}
+@book {Luzin53,
+     AUTHOR = {Luzin, Nikolai},
+     TITLE = {Sobranie sochinenii. Tom 1 ({C}ollected works, Vol. 1)},
+ PUBLISHER = {USSR Academy of Sciences, Moscow},
+      YEAR = {1953},
+}
+@article {Kolmogorov,
+    AUTHOR = {Kolmogorov, A.},
+     TITLE = {Une s\'erie de {F}ourier–{L}ebesgue divergente presque partout},
+   JOURNAL = {Fund. Math.},
+    VOLUME = {4},
+      YEAR = {1923},
+     PAGES = {324--328},
+}
+
+@article {MR217510,
+    AUTHOR = {Billard, P.},
+     TITLE = {Sur la convergence presque partout des s\'eries de
+              {F}ourier-{W}alsh des fonctions de l'espace
+              {$L\sp{2}\,(0,\,1)$}},
+   JOURNAL = {Studia Math.},
+  FJOURNAL = {Polska Akademia Nauk. Instytut Matematyczny. Studia
+              Mathematica},
+    VOLUME = {28},
+      YEAR = {1966/67},
+     PAGES = {363--388},
+      ISSN = {0039-3223,1730-6337},
+   MRCLASS = {42.16},
+  MRNUMBER = {217510},
+MRREVIEWER = {J.-P.\ Kahane},
+       DOI = {10.4064/sm-28-3-363-388},
+       URL = {https://doi.org/10.4064/sm-28-3-363-388},
+}
+
+@incollection {MR238019,
+    AUTHOR = {Hunt, Richard A.},
+     TITLE = {On the convergence of {F}ourier series},
+ BOOKTITLE = {Orthogonal {E}xpansions and their {C}ontinuous {A}nalogues
+              ({P}roc. {C}onf., {E}dwardsville, {I}ll., 1967)},
+     PAGES = {235--255},
+ PUBLISHER = {Southern Illinois Univ. Press, Carbondale, IL},
+      YEAR = {1968},
+   MRCLASS = {42.11},
+  MRNUMBER = {238019},
+MRREVIEWER = {J.-P.\ Kahane},
+}
+
+@article {MR336222,
+    AUTHOR = {Sj{\"o}lin, Per},
+     TITLE = {Convergence almost everywhere of certain singular integrals
+              and multiple {F}ourier series},
+   JOURNAL = {Ark. Mat.},
+  FJOURNAL = {Arkiv f\"or Matematik},
+    VOLUME = {9},
+      YEAR = {1971},
+     PAGES = {65--90},
+      ISSN = {0004-2080,1871-2487},
+   MRCLASS = {42A92},
+  MRNUMBER = {336222},
+MRREVIEWER = {W.\ C.\ Connett},
+       DOI = {10.1007/BF02383638},
+       URL = {https://doi.org/10.1007/BF02383638},
+}
+
+@book {MR499948,
+    AUTHOR = {Coifman, Ronald R. and Weiss, Guido},
+     TITLE = {Analyse harmonique non-commutative sur certains espaces
+              homog\`enes},
+    SERIES = {Lecture Notes in Mathematics},
+    VOLUME = {Vol. 242},
+      NOTE = {\'Etude de certaines int\'egrales singuli\`eres},
+ PUBLISHER = {Springer-Verlag, Berlin-New York},
+      YEAR = {1971},
+     PAGES = {v+160},
+   MRCLASS = {43A85 (22E30)},
+  MRNUMBER = {499948},
+MRREVIEWER = {},
+}
+
+@article {MR546295,
+    AUTHOR = {Mac\'ias, Roberto A. and Segovia, Carlos},
+     TITLE = {Lipschitz functions on spaces of homogeneous type},
+   JOURNAL = {Adv. in Math.},
+  FJOURNAL = {Advances in Mathematics},
+    VOLUME = {33},
+      YEAR = {1979},
+    NUMBER = {3},
+     PAGES = {257--270},
+      ISSN = {0001-8708},
+   MRCLASS = {32A35 (42B30)},
+  MRNUMBER = {546295},
+MRREVIEWER = {Sun\ Yung A. Chang},
+       DOI = {10.1016/0001-8708(79)90012-4},
+       URL = {https://doi.org/10.1016/0001-8708(79)90012-4},
+}
+
+@article {MR2007237,
+    AUTHOR = {Pramanik, Malabika and Terwilleger, Erin},
+     TITLE = {A weak {$L^2$} estimate for a maximal dyadic sum operator on
+              {${\Bbb R}^n$}},
+   JOURNAL = {Illinois J. Math.},
+  FJOURNAL = {Illinois Journal of Mathematics},
+    VOLUME = {47},
+      YEAR = {2003},
+    NUMBER = {3},
+     PAGES = {775--813},
+      ISSN = {0019-2082,1945-6581},
+   MRCLASS = {42B30 (47B38)},
+  MRNUMBER = {2007237},
+MRREVIEWER = {Christoph\ M.\ Thiele},
+       URL = {http://projecteuclid.org/euclid.ijm/1258138194},
+}
+
+@article {MR2091007,
+    AUTHOR = {Lacey, Michael T.},
+     TITLE = {Carleson's theorem: proof, complements, variations},
+   JOURNAL = {Publ. Mat.},
+  FJOURNAL = {Publicacions Matem\`atiques},
+    VOLUME = {48},
+      YEAR = {2004},
+    NUMBER = {2},
+     PAGES = {251--307},
+      ISSN = {0214-1493,2014-4350},
+   MRCLASS = {42A20 (42B10 42B25 47B38)},
+  MRNUMBER = {2091007},
+MRREVIEWER = {Colin\ C.\ Graham},
+       DOI = {10.5565/PUBLMAT\_48204\_01},
+       URL = {https://doi.org/10.5565/PUBLMAT_48204_01},
+}
+
+@article {MR2420509,
+    AUTHOR = {Demeter, Ciprian and Lacey, Michael T. and Tao, Terence and
+              Thiele, Christoph},
+     TITLE = {Breaking the duality in the return times theorem},
+   JOURNAL = {Duke Math. J.},
+  FJOURNAL = {Duke Mathematical Journal},
+    VOLUME = {143},
+      YEAR = {2008},
+    NUMBER = {2},
+     PAGES = {281--355},
+      ISSN = {0012-7094,1547-7398},
+   MRCLASS = {42B25 (28D05 37A25 37A45)},
+  MRNUMBER = {2420509},
+MRREVIEWER = {Joseph\ Max\ Rosenblatt},
+       DOI = {10.1215/00127094-2008-020},
+       URL = {https://doi.org/10.1215/00127094-2008-020},
+}
+
+@article {MR2881301,
+    AUTHOR = {Oberlin, Richard and Seeger, Andreas and Tao, Terence and
+              Thiele, Christoph and Wright, James},
+     TITLE = {A variation norm {C}arleson theorem},
+   JOURNAL = {J. Eur. Math. Soc. (JEMS)},
+  FJOURNAL = {Journal of the European Mathematical Society (JEMS)},
+    VOLUME = {14},
+      YEAR = {2012},
+    NUMBER = {2},
+     PAGES = {421--464},
+      ISSN = {1435-9855,1435-9863},
+   MRCLASS = {42A20 (42A16 42A45 42A61)},
+  MRNUMBER = {2881301},
+MRREVIEWER = {Alexander\ V.\ Tovstolis},
+       DOI = {10.4171/JEMS/307},
+       URL = {https://doi.org/10.4171/JEMS/307},
+}
+
+@article {MR4014801,
+    AUTHOR = {Roos, Joris},
+     TITLE = {Bounds for anisotropic {C}arleson operators},
+   JOURNAL = {J. Fourier Anal. Appl.},
+  FJOURNAL = {The Journal of Fourier Analysis and Applications},
+    VOLUME = {25},
+      YEAR = {2019},
+    NUMBER = {5},
+     PAGES = {2324--2355},
+      ISSN = {1069-5869,1531-5851},
+   MRCLASS = {42B20 (42B25)},
+  MRNUMBER = {4014801},
+MRREVIEWER = {Shaoming\ Guo},
+       DOI = {10.1007/s00041-018-09657-7},
+       URL = {https://doi.org/10.1007/s00041-018-09657-7},
+}
+
+@article {MR2538591,
+    AUTHOR = {Paluszy\'nski, Maciej and Stempak, Krzysztof},
+     TITLE = {On quasi-metric and metric spaces},
+   JOURNAL = {Proc. Amer. Math. Soc.},
+  FJOURNAL = {Proceedings of the American Mathematical Society},
+    VOLUME = {137},
+      YEAR = {2009},
+    NUMBER = {12},
+     PAGES = {4307--4312},
+      ISSN = {0002-9939,1088-6826},
+   MRCLASS = {54E35},
+  MRNUMBER = {2538591},
+       DOI = {10.1090/S0002-9939-09-10058-8},
+       URL = {https://doi.org/10.1090/S0002-9939-09-10058-8},
+}
+@misc{becker2024carlesonoperatorsdoublingmetric,
+      title={Carleson Operators on Doubling Metric Measure Spaces},
+      author={Lars Becker and Floris van Doorn and Asgar Jamneshan and Rajula Srivastava and Christoph Thiele},
+      year={2024},
+      eprint={2405.06423},
+}
+@article {MR3334208,
+    AUTHOR = {Demeter, Ciprian},
+     TITLE = {A guide to {C}arleson's theorem},
+   JOURNAL = {Rocky Mountain J. Math.},
+  FJOURNAL = {The Rocky Mountain Journal of Mathematics},
+    VOLUME = {45},
+      YEAR = {2015},
+    NUMBER = {1},
+     PAGES = {169--212},
+      ISSN = {0035-7596,1945-3795},
+   MRCLASS = {42A20 (42A45)},
+  MRNUMBER = {3334208},
+MRREVIEWER = {Borislav\ R.\ Draganov},
+       DOI = {10.1216/RMJ-2015-45-1-169},
+       URL = {https://doi.org/10.1216/RMJ-2015-45-1-169},
+}