OAI/Probability/GaussianInformation/Dyadic/
367 declarations, 0 contain sorry, 0 declared as axioms; 33 files
Files
- BallVolume.lean 2 declarations
- BlockInformation.lean 3 declarations
- BoxKernels.lean 11 declarations
- ChannelEntropy.lean 21 declarations
- ChannelProducts.lean 15 declarations
- ChartGeometry.lean 22 declarations
- ConditionalMoments.lean 6 declarations
- Covers.lean 2 declarations
- Entropy.lean 23 declarations
- GaussianImages.lean 13 declarations
- GaussianTails.lean 8 declarations
- GramVolume.lean 12 declarations
- GridSpread.lean 10 declarations
- HeavyCells.lean 28 declarations
- History.lean 1 declarations
- LabelBounds.lean 25 declarations
- Main.lean 1 declarations
- MixtureBounds.lean 18 declarations
- PosteriorChannels.lean 21 declarations
- ProjectionMoments.lean 13 declarations
- ProjectionTests.lean 4 declarations
- QuadraticBounds.lean 1 declarations
- Realization.lean 8 declarations
- RealizationStep.lean 2 declarations
- Refinement.lean 2 declarations
- RefinementCost.lean 11 declarations
- ReplicaMoments.lean 11 declarations
- ScoreBounds.lean 9 declarations
- SmallBalls.lean 6 declarations
- StateExpectation.lean 36 declarations
- StateInformation.lean 12 declarations
- TranscriptLaw.lean 8 declarations
- Tubes.lean 2 declarations