Revision #3426 → #4161 · back to history
modifiedSpace L2(R)f7fd20b0ecfa
| Field | From #3426 | To #4161 |
|---|
| note | L²(ℝ) is the special case MeasureTheory.Lp E 2 μ of Mathlib's general Lp space (with dedicated inner-product structure in MeasureTheory.Function.L2Space). | L²(ℝ) is the special case MeasureTheory.Lp E 2 μ of Mathlib's general Lp space (with dedicated inner-product structure in Mathlib.MeasureTheory.Function.L2Space). |
addedOvercomplete set / frame of a vector spacea406c023576d
addedHilbert space of square-integrable functions23ae5ffe843b
addedCoherent states128351f4cd57
addedFunction space L^p(ℝ)01642c3d400c
addedSinc function9ec5b56d74c9
addedOrthonormal basis of L²(ℝ)27324589bb33
addedFast wavelet transform6a9caf552ea2
addedCompactly supported continuously differentiable functionsc61ea4abe936
addedAffine groupda5e3397e40c
addedFourier transform55b7b1f23325
addedParseval's theorema8759d0730bf
addedConvolution4a1c83185664
addedDelta function (Dirac delta)ad6e5c9aad25
addedGaussian apodizing filter05d080eac2b3
addedDiscrete Fourier transform2e5bb2011bd4
addedFinite impulse response filter10d155427b2c
addedBiorthogonal wavelet06a5aafa58a5
addedBand-pass filter (wavelet function role)7854d8e6ccf8
addedGabor atom4b3c2e02c546
addedTight frame6c03f3aadcf5
addedSparse representation in a wavelet basis961338c9a5ae
addedGaussian mixture model prior33765e196737
addedDaubechies wavelet family0e17f08d70eb
addedCoiflet wavelets1d291863ad04
addedMexican hat (Ricker) waveletc30a81d79753
addedMorlet wavelet6f6ef24d758f