Showing 2026 · math.CAShow all
2 papers · 2 filters
math.CA2026
Formalizing Carleson's Theorem in Lean
Lars Becker, María Inés de Frutos-Fernández, Leo Diedering +11
We present the formalization of Carleson's theorem in the proof assistant Lean. This paper describes the mathematical content, organization of the project, the blueprint, and the m…
math.CA2026
An SU(2n)-valued nonlinear Fourier transform
Michel Alexis, Lars Becker, Diogo Oliveira e Silva +1
We define a nonlinear Fourier transform which maps sequences of contractive matrices to -valued functions on the circle . We characterize the image…