OAI/Probability/FreeIsing/Gaussian/
473 declarations, 0 contain sorry, 0 declared as axioms; 64 files
Files
- ArrayCharacterization.lean 11 declarations
- Attenuation.lean 9 declarations
- BernoulliCopyDifference.lean 3 declarations
- BernoulliSpectral.lean 2 declarations
- BinaryFusion.lean 13 declarations
- BinaryFusionInformation.lean 13 declarations
- BinaryFusionJointLaw.lean 11 declarations
- BinaryFusionMixture.lean 4 declarations
- BinaryFusionPosterior.lean 4 declarations
- BinaryPosteriorResponseBound.lean 8 declarations
- BinaryRegression.lean 8 declarations
- BinarySignalDensity.lean 6 declarations
- BinarySignalFusion.lean 5 declarations
- ComponentSignalAttenuation.lean 13 declarations
- ConditionalNoise.lean 5 declarations
- ContinuousNoiseSplit.lean 8 declarations
- CutChannels.lean 6 declarations
- FiniteFieldGaussianEnergy.lean 25 declarations
- FiniteGaussianPlanted.lean 4 declarations
- FiniteGaussianPosterior.lean 4 declarations
- FiniteIsingGaussianEnergy.lean 2 declarations
- FiniteIsingGaussianTesting.lean 2 declarations
- FiniteSignalFieldRecursion.lean 6 declarations
- FiniteSignalInformation.lean 14 declarations
- FreeLawNoise.lean 8 declarations
- GlobalFreeLawNoise.lean 5 declarations
- IncrementLikelihood.lean 14 declarations
- IntegrationByParts.lean 6 declarations
- InwardCutConcentration.lean 4 declarations
- InwardGaussianCutChannels.lean 8 declarations
- InwardGaussianCutMean.lean 2 declarations
- InwardProducts.lean 6 declarations
- Likelihood.lean 11 declarations
- LinearSignalTilt.lean 12 declarations
- MarkovSideSignalLoss.lean 1 declarations
- Moments.lean 8 declarations
- NoiseAverageL2.lean 2 declarations
- NoiseSlope.lean 11 declarations
- NoiseTransfer.lean 1 declarations
- Observation.lean 6 declarations
- ObservationDerivative.lean 3 declarations
- PathAttenuation.lean 18 declarations
- PiIntegrationByParts.lean 5 declarations
- PosteriorBareResponse.lean 4 declarations
- RerootedFreeLawNoise.lean 10 declarations
- SideSignalLoss.lean 4 declarations
- SiteInformation.lean 7 declarations
- SmallBall.lean 11 declarations
- StatisticSideSignalLoss.lean 7 declarations
- TreeCovariance.lean 18 declarations
- TreeEnergy.lean 6 declarations
- TreeResponse.lean 13 declarations
- TreeResponseEnergy.lean 5 declarations
- TreeResponseMixture.lean 5 declarations
- TreeResponseNaturality.lean 7 declarations
- TreeResponseObservedPosterior.lean 6 declarations
- TreeResponsePlanted.lean 9 declarations
- TreeResponsePosterior.lean 4 declarations
- TreeResponseRootEnergy.lean 11 declarations
- TreeResponseRootPosterior.lean 8 declarations
- TreeResponseSource.lean 4 declarations
- TreeResponseVarianceComparison.lean 3 declarations
- TreeResponseVarianceMixture.lean 2 declarations
- VarianceLower.lean 12 declarations