OAI/Probability/MemoryPrecision/
426 declarations, 0 contain sorry, 0 declared as axioms; 50 files
Files
- AmbientGram.lean 25 declarations
- BallAverages.lean 9 declarations
- CoefficientStep.lean 6 declarations
- CubeArithmetic.lean 9 declarations
- CubeBlock.lean 9 declarations
- CubeCaps.lean 6 declarations
- CubeContinuation.lean 10 declarations
- CubeExperiment.lean 10 declarations
- CubeGeometry.lean 33 declarations
- CubeSuccess.lean 6 declarations
- DensityPassage.lean 14 declarations
- DensityUniqueness.lean 3 declarations
- EllipsoidSuccess.lean 5 declarations
- FiberDensity.lean 8 declarations
- FiniteDensity.lean 11 declarations
- GaussianConvolution.lean 6 declarations
- JointL1.lean 9 declarations
- KernelAdmissibility.lean 3 declarations
- KernelCaps.lean 10 declarations
- KernelCube.lean 8 declarations
- KernelEllipsoid.lean 6 declarations
- KernelEvaluation.lean 15 declarations
- KernelIntegral.lean 5 declarations
- KernelModel.lean 23 declarations
- KernelSphere.lean 5 declarations
- KernelStream.lean 3 declarations
- KernelVersion.lean 8 declarations
- LabelTranslations.lean 9 declarations
- Main.lean 1 declarations
- MeasurableTests.lean 9 declarations
- PointwiseDensity.lean 6 declarations
- PointwiseMain.lean 5 declarations
- Precision.lean 3 declarations
- PriorMeasurability.lean 3 declarations
- RadialMixture.lean 26 declarations
- RealContinuation.lean 14 declarations
- RealStream.lean 5 declarations
- Reflection.lean 7 declarations
- SeedAverage.lean 3 declarations
- SharpGaussian.lean 8 declarations
- SphereCaps.lean 4 declarations
- SphericalProjection.lean 10 declarations
- StochasticContinuation.lean 7 declarations
- StochasticMass.lean 2 declarations
- StreamArithmetic.lean 9 declarations
- StreamZero.lean 2 declarations
- SuccessArithmetic.lean 7 declarations
- WeightedImage.lean 8 declarations
- WeightedSelection.lean 8 declarations
- ZeroHorizon.lean 5 declarations