OAI/Computability/MinUncut/Analysis/
336 declarations, 0 contain sorry, 0 declared as axioms; 29 files
Files
- CenteredPointCorrelationPower.lean 4 declarations
- FaceCorrelation.lean 10 declarations
- FiniteGaussianLaw.lean 8 declarations
- FreshCorrelation.lean 15 declarations
- GaussNegPreserving.lean 7 declarations
- GaussianAssembly.lean 7 declarations
- GaussianDensityError.lean 19 declarations
- GaussianDistance.lean 11 declarations
- GaussianPacking.lean 7 declarations
- GaussianQuadrature.lean 11 declarations
- GaussianRounding.lean 3 declarations
- GaussianRows.lean 7 declarations
- GaussianSliceContinuous.lean 3 declarations
- GaussianSmallBall.lean 91 declarations
- Gradient.lean 30 declarations
- GradientEnergyFirstTables.lean 2 declarations
- Hermite.lean 19 declarations
- HermiteComponent.lean 7 declarations
- LiteralGaussian.lean 12 declarations
- LowGradient.lean 9 declarations
- LowGradientEnergyLowerWeighted.lean 2 declarations
- MaskHermite.lean 3 declarations
- OddAtom.lean 7 declarations
- OddMaxTranslate.lean 2 declarations
- RationalRowNoise.lean 8 declarations
- RowProjectedGradient.lean 2 declarations
- SelectedProjectGaussianLocal.lean 10 declarations
- SmoothingRho.lean 14 declarations
- UniformCube.lean 6 declarations