OAI/Analysis/TriangularHilbert/Gaussian.lean

GitHub source file

12 declarations, 0 contain sorry, 0 declared as axioms

  1. def OAI.TriangularHilbert.Heat.density line 12
  2. def OAI.TriangularHilbert.Heat.weight line 15
  3. def OAI.TriangularHilbert.Heat.score line 16
  4. theorem OAI.TriangularHilbert.Heat.density_pos line 18
  5. theorem OAI.TriangularHilbert.Heat.density_nonneg line 22
  6. theorem OAI.TriangularHilbert.Heat.density_eq_gaussianPDFReal line 26
  7. theorem OAI.TriangularHilbert.Heat.density_integrable line 33
  8. theorem OAI.TriangularHilbert.Heat.weight_hasDerivAt_center line 37
  9. theorem OAI.TriangularHilbert.Heat.score_hasDerivAt_center line 53
  10. theorem OAI.TriangularHilbert.Heat.weight_score_hasDerivAt_center line 58
  11. theorem OAI.TriangularHilbert.Heat.density_normalization_hasDerivAt line 64
  12. theorem OAI.TriangularHilbert.Heat.weight_hasDerivAt_variance line 76