A blueprint for the formalization of Carleson's theorem on convergence of Fourier series

Fuente: arXiv
Saved in:
Bibliographic Details
Main Authors: Becker, Lars, de Frutos-Fernández, María Inés, Diedering, Leo, van Doorn, Floris, Gouëzel, Sébastien, Jamneshan, Asgar, Karunus, Evgenia, van de Meent, Edward, Monticone, Pietro, Mulder-Sohn, Jasper, Portegies, Jim, Roos, Joris, Rothgang, Michael, Srivastava, Rajula, Sundstrom, James, Tan, Jeremy, Thiele, Christoph
Format: Preprint
Published: 2024
Subjects:
Online Access:
Tags: Add Tag
No Tags, Be the first to tag this record!