OAI/Probability/GaussianInformation/Kernel/
485 declarations, 0 contain sorry, 0 declared as axioms; 62 files
Files
- Bayes.lean 17 declarations
- BayesContinuity.lean 2 declarations
- BayesEnergy.lean 5 declarations
- BorelDrift.lean 1 declarations
- BoxKernels.lean 11 declarations
- Coercivity.lean 22 declarations
- Compensation.lean 1 declarations
- ConditionalCharge.lean 5 declarations
- ContinuousDrift.lean 1 declarations
- Covers.lean 3 declarations
- DriftCutoff.lean 8 declarations
- EnergyBayes.lean 6 declarations
- Entropy.lean 10 declarations
- EntropyComparison.lean 3 declarations
- EntropyDrift.lean 8 declarations
- GaussianImages.lean 13 declarations
- GaussianReference.lean 22 declarations
- GaussianRows.lean 10 declarations
- GeneralDrift.lean 3 declarations
- GramVolume.lean 12 declarations
- JointCompensation.lean 7 declarations
- JointEntropy.lean 3 declarations
- JointRules.lean 8 declarations
- LocalEnergy.lean 1 declarations
- LocalRules.lean 9 declarations
- Main.lean 7 declarations
- MassContinuity.lean 1 declarations
- MassPotential.lean 10 declarations
- MessageComponents.lean 11 declarations
- MixedMoments.lean 8 declarations
- MixedProjection.lean 6 declarations
- Mixtures.lean 9 declarations
- Model.lean 17 declarations
- NoiseContinuity.lean 6 declarations
- NoiseLaw.lean 12 declarations
- NoisyCharge.lean 8 declarations
- NoisyMoments.lean 2 declarations
- NoisyProjection.lean 8 declarations
- NoisyReference.lean 7 declarations
- NoisyRules.lean 5 declarations
- NoisySums.lean 4 declarations
- OutgoingLaws.lean 7 declarations
- PairReference.lean 6 declarations
- PositiveRules.lean 18 declarations
- PotentialContinuity.lean 3 declarations
- ProjectionMoments.lean 14 declarations
- ReferenceBounds.lean 13 declarations
- ReferenceCharge.lean 4 declarations
- ReferenceDensity.lean 4 declarations
- ReferenceMarginals.lean 7 declarations
- ReferenceMoments.lean 3 declarations
- ReferenceShift.lean 2 declarations
- ReplicaMoments.lean 11 declarations
- Reweighting.lean 13 declarations
- RowConcatenation.lean 8 declarations
- SampleEquivalence.lean 8 declarations
- SampleLaw.lean 9 declarations
- ScaledReference.lean 5 declarations
- Scaling.lean 7 declarations
- SimplexApproximation.lean 14 declarations
- SmallBalls.lean 4 declarations
- Sphere.lean 13 declarations