TY  - RPRT
TI  - A blueprint for the formalization of Carleson's theorem on convergence of Fourier series
AU  - Lars Becker
AU  - María Inés de Frutos-Fernández
AU  - Leo Diedering
AU  - Floris van Doorn
AU  - Sébastien Gouëzel
AU  - Asgar Jamneshan
AU  - Evgenia Karunus
AU  - Edward van de Meent
AU  - Pietro Monticone
AU  - Jasper Mulder-Sohn
AU  - Jim Portegies
AU  - Joris Roos
AU  - Michael Rothgang
AU  - Rajula Srivastava
AU  - James Sundstrom
AU  - Jeremy Tan
AU  - Christoph Thiele
PY  - 2025
UR  - https://arxiv.org/abs/2405.06423
ID  - 2405.06423
ER  -