OAI/Probability/Perceptron/Cascade/PoissonCountMoments.lean

GitHub source file

10 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.SphericalPerceptronFreeEnergy.poisson_nat_lintegral line 11
2. lemma OAI.SphericalPerceptronFreeEnergy.poisson_natSquare_lintegral line 17
3. lemma OAI.SphericalPerceptronFreeEnergy.poisson_nat_memLp line 36
4. lemma OAI.SphericalPerceptronFreeEnergy.poisson_nat_mean line 43
5. lemma OAI.SphericalPerceptronFreeEnergy.poisson_nat_square_mean line 47
6. lemma OAI.SphericalPerceptronFreeEnergy.poisson_nat_variance line 53
7. lemma OAI.SphericalPerceptronFreeEnergy.poisson_nat_center_square line 58
8. lemma OAI.SphericalPerceptronFreeEnergy.nat_bounded_increment_difference line 72
9. lemma OAI.SphericalPerceptronFreeEnergy.poisson_bounded_increment_memLp line 88
10. lemma OAI.SphericalPerceptronFreeEnergy.poisson_bounded_increment_variance line 101