Leo Diedering

1. A blueprint for the formalization of Carleson's theorem on convergence of Fourier series
   2024/05/10 by L. Becker, Becker, Lars, de Frutos-Fernández, María Inés +26 · 1 citation
   Mathematics · #Advanced Harmonic Analysis Research #Differential Equations and Boundary Problems #Advanced Banach Space Theory