OAI/Geometry/NodalSets/Coefficients/GaussianCoefficientMSE.lean

GitHub source file

4 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.Yau.Geometry.pairLinearSum_square_integral line 10
2. lemma OAI.Yau.Geometry.gaussianWaveField_sub_pair line 18
3. lemma OAI.Yau.Geometry.gaussianWaveField_difference_mse line 25
4. lemma OAI.Yau.Geometry.rescaledGaussianField_centered_mse line 31