3 papers
math.RA2025
The Equational Theories Project: Advancing Collaborative Mathematical Research at Scale
Matthew Bolan, Joachim Breitner, Jose Brox +31
We report on the Equational Theories Project (ETP), an online collaborative pilot project to explore new ways to collaborate in mathematics with machine assistance. The project suc…
math.CA2025
Carleson operators on doubling metric measure spaces
Lars Becker, Floris van Doorn, Asgar Jamneshan +2
Doubling metric measure spaces provide a natural framework for singular integral operators. In contrast, the study of maximally modulated singular integral operators, the so-called…
math.CA2025
A blueprint for the formalization of Carleson's theorem on convergence of Fourier series
Lars Becker, MarÃa Inés de Frutos-Fernández, Leo Diedering +14
This paper is the blueprint underlying the Lean formalization of the proof of Carleson's classical result asserting almost everywhere convergence of Fourier series of continuous fu…