OAI/Probability/GaussianPropeller/
742 declarations, 0 contain sorry, 0 declared as axioms; 47 files
Files
- Analytic.lean 5 declarations
- Attainment.lean 28 declarations
- CapBounds.lean 18 declarations
- CapCertificates.lean 14 declarations
- CapIntegral.lean 12 declarations
- CapNumeric.lean 20 declarations
- CapReduction.lean 4 declarations
- CellBounds.lean 8 declarations
- ConeConcavity.lean 23 declarations
- ConeReduction.lean 3 declarations
- Configuration.lean 2 declarations
- Coordinates.lean 15 declarations
- Deletion.lean 13 declarations
- Dual.lean 49 declarations
- Elimination.lean 5 declarations
- FourAlgebra.lean 6 declarations
- FourCells.lean 3 declarations
- FourReduction.lean 14 declarations
- GaussianCoordinates.lean 7 declarations
- Geometry.lean 16 declarations
- Gram.lean 10 declarations
- HeatConvolution.lean 8 declarations
- HeatMaximum.lean 17 declarations
- LargeCertificates.lean 25 declarations
- LossCertificates.lean 26 declarations
- Main.lean 5 declarations
- Mills.lean 18 declarations
- Model.lean 8 declarations
- Moments.lean 8 declarations
- OneCell.lean 45 declarations
- PairBounds.lean 6 declarations
- PairIntegral.lean 17 declarations
- Polar.lean 18 declarations
- ProbabilityBounds.lean 28 declarations
- Quantile.lean 46 declarations
- QuantileCalculus.lean 12 declarations
- QuarticCertificates.lean 30 declarations
- ResidualBounds.lean 10 declarations
- Scalar.lean 43 declarations
- SmallCell.lean 3 declarations
- SmallCertificates.lean 25 declarations
- SmoothedConcavity.lean 8 declarations
- SoftMinimum.lean 26 declarations
- SpanReduction.lean 7 declarations
- Stein.lean 4 declarations
- Taylor.lean 10 declarations
- Translation.lean 14 declarations