OAI/Probability/LogConcave/Numerics/
531 declarations, 0 contain sorry, 0 declared as axioms; 38 files
Files
- BaseVariation.lean 4 declarations
- BaseVariationCenters.lean 5 declarations
- Basis.lean 27 declarations
- BasisDerivative.lean 20 declarations
- CenterValuesMono.lean 1 declarations
- CenteringStateQuadratureBudget.lean 10 declarations
- CenteringVelocityPicard.lean 5 declarations
- CentersBoundPicard.lean 12 declarations
- ChainTaylor.lean 13 declarations
- ChildNoise.lean 26 declarations
- CompileDeclaredRootNormalized.lean 7 declarations
- CompileDeclaredRootShift.lean 5 declarations
- CompositeAngle.lean 17 declarations
- Correction.lean 9 declarations
- Cost.lean 28 declarations
- DerivSetIntegral.lean 2 declarations
- EvalLipschitz.lean 1 declarations
- Forward.lean 19 declarations
- GradientBound.lean 4 declarations
- KernelActionPicardRms.lean 1 declarations
- KernelCorrectionPicard.lean 8 declarations
- LogMeshLength.lean 20 declarations
- MeanTree.lean 30 declarations
- NodeLp.lean 13 declarations
- NodePolynomial.lean 34 declarations
- NodesContinuous.lean 4 declarations
- NormSubSqTwo.lean 2 declarations
- OrdinaryDerivativeWeight.lean 18 declarations
- ParametricFDeriv.lean 3 declarations
- Picard.lean 71 declarations
- ReanchorWeight.lean 7 declarations
- Remainder.lean 6 declarations
- RowGaussian.lean 44 declarations
- RowTape.lean 11 declarations
- ScalarPicard.lean 30 declarations
- TaylorRemainderRms.lean 1 declarations
- TwoendsContinuous.lean 7 declarations
- VelocityWorkCoefficient.lean 6 declarations