OAI/Probability/Perceptron/Variational/GaussianComparison.lean

GitHub source file

10 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.SphericalPerceptronFreeEnergy.countableGaussianCovariance_cs line 11
2. lemma OAI.SphericalPerceptronFreeEnergy.countableGaussian_log_comparison line 26
3. def OAI.SphericalPerceptronFreeEnergy.indexedCoefficientSquare line 48
4. lemma OAI.SphericalPerceptronFreeEnergy.indexedCoefficientSquare_nonneg line 50
5. lemma OAI.SphericalPerceptronFreeEnergy.indexedCoefficientSquare_continuous line 54
6. lemma OAI.SphericalPerceptronFreeEnergy.indexedGaussianRow_sub line 59
7. lemma OAI.SphericalPerceptronFreeEnergy.indexedGaussianRow_square_total line 69
8. def OAI.SphericalPerceptronFreeEnergy.indexedGaussianMean line 78
9. lemma OAI.SphericalPerceptronFreeEnergy.indexedGaussianMean_comparison line 83
10. lemma OAI.SphericalPerceptronFreeEnergy.indexedGaussianMean_add_const line 111