Rothgang, Michael
- 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