OAI/Probability/PosteriorReplicas/Gaussian/
162 declarations, 0 contain sorry, 0 declared as axioms; 15 files
Files
- ConstrainedGaussian.lean 12 declarations
- ConstrainedNoise.lean 7 declarations
- GaussianDensity.lean 13 declarations
- GaussianFiber.lean 16 declarations
- GaussianGramMoment.lean 8 declarations
- GaussianLogMoment.lean 16 declarations
- GaussianPolar.lean 18 declarations
- GaussianRowMix.lean 13 declarations
- GaussianSmallBall.lean 5 declarations
- GaussianWishart.lean 5 declarations
- GramTransform.lean 12 declarations
- MatrixNoise.lean 16 declarations
- ObservableGaussian.lean 5 declarations
- RadialIntegrals.lean 9 declarations
- RandomComplement.lean 7 declarations