Science ❯ Mathematics
Fourier Theory Fourier Transform Spectral Geometry Fourier Transforms Harmonic Functions Restriction and Incidence Estimates Geometric Measure Theory
Confirmation that the Lean formalizations match canonical statements would force major reappraisals across harmonic analysis, complexity theory, quantum field theory.
