OAI/Probability/SKBarriers/Gaussian/
411 declarations, 0 contain sorry, 0 declared as axioms; 57 files
Files
- AffineCoordinateMean.lean 1 declarations
- AffineMomentCalculus.lean 4 declarations
- BlockStein.lean 63 declarations
- BoundedDerivatives.lean 5 declarations
- BoundedObservableCurvature.lean 5 declarations
- BoundedPrimitive.lean 6 declarations
- BoundedProduct.lean 4 declarations
- C1Taylor.lean 5 declarations
- ExpExpansion.lean 3 declarations
- ExponentialAverage.lean 6 declarations
- ExponentialDerivatives.lean 3 declarations
- ExponentialGrowth.lean 4 declarations
- ExponentialPrefix.lean 4 declarations
- FiberGaussian.lean 10 declarations
- FiberGaussianStein.lean 2 declarations
- FiberLipschitzLinear.lean 1 declarations
- FiberLipschitzTent.lean 4 declarations
- FiberTiltedTent.lean 2 declarations
- GaussianAngle.lean 8 declarations
- GaussianAverage.lean 12 declarations
- GaussianAverageProduct.lean 4 declarations
- GaussianCovariance.lean 4 declarations
- GaussianCovarianceStep.lean 2 declarations
- GaussianCramer.lean 3 declarations
- GaussianDomination.lean 6 declarations
- GaussianGrowth.lean 11 declarations
- GaussianHeatVariance.lean 4 declarations
- GaussianIntegration.lean 5 declarations
- GaussianLogStep.lean 4 declarations
- GaussianMassDerivative.lean 6 declarations
- GaussianMassStability.lean 5 declarations
- GaussianPoincare.lean 5 declarations
- GaussianQuadraticIBP.lean 3 declarations
- GaussianResponse.lean 13 declarations
- GaussianRotation.lean 15 declarations
- GaussianSecondStep.lean 5 declarations
- GaussianSpinTrace.lean 38 declarations
- GaussianStepAlgebra.lean 6 declarations
- GaussianStepCalculus.lean 9 declarations
- GaussianStepSandwich.lean 4 declarations
- GaussianTiltedCramer.lean 7 declarations
- GaussianZeroMass.lean 6 declarations
- LipschitzCDFStability.lean 1 declarations
- LipschitzChainRepresentation.lean 4 declarations
- LipschitzObservable.lean 2 declarations
- LipschitzTerminalStability.lean 1 declarations
- LocalGaussian.lean 9 declarations
- LocalMarginal.lean 5 declarations
- LogDerivatives.lean 3 declarations
- LogIntegralConvexity.lean 1 declarations
- MeanStein.lean 6 declarations
- PolynomialGap.lean 1 declarations
- PolynomialTail.lean 3 declarations
- ReciprocalSquares.lean 2 declarations
- SmoothFamily.lean 38 declarations
- SmoothObservables.lean 9 declarations
- SmoothedObservable.lean 9 declarations