The Carleson project: A collaborative formalization

Virtual

New Technologies in Mathematics Seminar Speaker: María Inés de Frutos Fernández, Mathematical Institute, University of Bonn Title: The Carleson project: A collaborative formalization Abstract: A well-known result in Fourier analysis […]