OAI/Analysis/FiniteFactor/Sampling/
179 declarations, 0 contain sorry, 0 declared as axioms; 37 files
Files
- AveragedTransport.lean 3 declarations
- Cancellation.lean 3 declarations
- FirstDiscrepancy.lean 3 declarations
- FirstInterval.lean 6 declarations
- Fourier.lean 5 declarations
- FourierSum.lean 2 declarations
- IntegratedCorrelation.lean 2 declarations
- IntervalError.lean 3 declarations
- IntervalSums.lean 6 declarations
- Kernel.lean 14 declarations
- KernelTail.lean 5 declarations
- LayerCake.lean 2 declarations
- LayerDiscrepancy.lean 3 declarations
- MixedCorrelation.lean 2 declarations
- OrientedMoments.lean 9 declarations
- Periodization.lean 4 declarations
- ProductError.lean 1 declarations
- Rectangle.lean 4 declarations
- SecondDensity.lean 10 declarations
- SecondDiscrepancy.lean 2 declarations
- SecondInterval.lean 4 declarations
- SecondLevelAE.lean 1 declarations
- SecondLevels.lean 4 declarations
- SecondMoment.lean 9 declarations
- SecondTriangular.lean 3 declarations
- Selection.lean 8 declarations
- SelfMoment.lean 3 declarations
- SmoothedPair.lean 3 declarations
- Smoothing.lean 11 declarations
- SmoothingLaw.lean 5 declarations
- TestedFirstMoment.lean 8 declarations
- TestedSecondMoment.lean 7 declarations
- TestedSelfMoment.lean 5 declarations
- Transport.lean 6 declarations
- WeightTransport.lean 3 declarations
- WeightedCoordinate.lean 2 declarations
- Weights.lean 8 declarations