Map · 43
abstract harmonic analysis
MSC 43 · Abstract harmonic analysis
152 declarations (131 theorems, 21 definitions) across 3 files. 2 of the 3 famous theorems listed for this area are in Mathlib (67%).
Files are assigned to areas by a language model reading each file's documentation. Report a file that is in the wrong area.
Subareas1
- 43A Abstract harmonic analysis 152
Famous theorems2 of 3
From the 1000+ theorems project, which classifies each theorem by MSC area.
Not yet in Mathlib · 1
In Mathlib · 2
- Fourier inversion theoremContinuous.fourierInv_fourier_eq
- Fourier theoremMeasureTheory.Integrable.fourierInv_fourier_eq
Files3
Largest first. The code after each file is its assigned subarea.
- Mathlib.Analysis.Convolution
Convolution of functions
43A · 73
- Mathlib.MeasureTheory.Group.Convolution
The multiplicative and additive convolution of measures
43A · 43
- Mathlib.Topology.Algebra.InfiniteSum.DiscreteConvolution
Discrete Convolution
43A · 36