Blueprint for the collaborative Formalization Seminar
1
Analysis in Mathlib
2
Plancherel’s Theorem
▶
2.1
Basic Properties of the Fourier Transform
2.2
Plancherel’s Theorem and the Fourier Transform on \(L^2\)
3
Interpolation
▶
3.1
Rietz-Thorin’s Interpolation Theorem
3.2
Applications of Rietz-Thorin’s Interpolation Theorem
4
Distributions
▶
4.1
Space of Distributions
4.2
Fundamental solutions
Dependency graph
1 Analysis in Mathlib