2 papers
math.CO2025
Composition Direction of Seymour's Theorem for Regular Matroids -- Formally Verified
Martin Dvorak, Tristan Figueroa-Reid, Rida Hamadani +8
Seymour's decomposition theorem is a hallmark result in matroid theory presenting a structural characterization of the class of regular matroids. Formalization of matroid theory fa…
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…