OAI/Probability/Perceptron/Variational/GaussianCovarianceDerivative.lean

GitHub source file

13 declarations, 0 contain sorry, 0 declared as axioms

  1. lemma OAI.SphericalPerceptronFreeEnergy.countableGaussianCovariance_add_smul line 14
  2. lemma OAI.SphericalPerceptronFreeEnergy.tiltMean_const_mul_general line 29
  3. lemma OAI.SphericalPerceptronFreeEnergy.gaussianCoupling_covariance_continuous line 45
  4. theorem OAI.SphericalPerceptronFreeEnergy.gaussianCovariance_right_derivative line 80
  5. def OAI.SphericalPerceptronFreeEnergy.duplicateFeature line 107
  6. def OAI.SphericalPerceptronFreeEnergy.leftCoefficients line 110
  7. def OAI.SphericalPerceptronFreeEnergy.rightCoefficients line 113
  8. lemma OAI.SphericalPerceptronFreeEnergy.duplicateFeature_measurable line 117
  9. lemma OAI.SphericalPerceptronFreeEnergy.duplicateFeature_square line 127
  10. lemma OAI.SphericalPerceptronFreeEnergy.indexedGaussianRow_orthogonal line 134
  11. lemma OAI.SphericalPerceptronFreeEnergy.indexedGaussianRow_add_smul line 143
  12. lemma OAI.SphericalPerceptronFreeEnergy.indexedHamiltonian_independent_addition line 154
  13. theorem OAI.SphericalPerceptronFreeEnergy.indexedGaussianMean_right_derivative line 178