Map · 44
integral transforms
MSC 44 · Integral transforms, operational calculus
48 declarations (43 theorems, 5 definitions) across 3 files. 0 of the 2 famous theorems listed for this area are in Mathlib (0%).
Files are assigned to areas by a language model reading each file's documentation. Report a file that is in the wrong area.
Subareas1
- 44A Integral transforms, operational calculus 48
Famous theorems0 of 2
From the 1000+ theorems project, which classifies each theorem by MSC area.
Not yet in Mathlib · 2
Files3
Largest first. The code after each file is its assigned subarea.
- Mathlib.Analysis.MellinTransform
The Mellin transform
44A · 33
- Mathlib.Analysis.Calculus.ContDiff.Convolution
Differentiability of a convolution of functions
44A · 12
- Mathlib.Analysis.MellinInversion
Mellin inversion formula
44A · 3