OAI/Probability/LogConcave/Sampling/
1120 declarations, 0 contain sorry, 0 declared as axioms; 114 files
Files
- AdjointCoordinateContinuous.lean 22 declarations
- AdjointCoordinateProductLeft.lean 6 declarations
- AnalyticBase.lean 33 declarations
- AnchorGauge.lean 7 declarations
- AngleNodes.lean 5 declarations
- AverageLipschitz.lean 8 declarations
- CenteringJointLaw.lean 4 declarations
- CenteringOutputLaw.lean 1 declarations
- CenteringVelocityInterpolationRms.lean 2 declarations
- CenteringVelocityJoint.lean 8 declarations
- ChangingChain.lean 18 declarations
- ClosedFieldMean.lean 15 declarations
- ComposedJetMajorant.lean 6 declarations
- ConditionalFieldMean.lean 27 declarations
- ConditionalMeanArray.lean 13 declarations
- ConditionalMeanScalar.lean 10 declarations
- ConditionalPositionMoment.lean 6 declarations
- ConditionalSlotEmbedding.lean 7 declarations
- ContinuousFirstOrderReply.lean 13 declarations
- CoordinateProjection.lean 16 declarations
- CoordinateRank.lean 26 declarations
- Correlation.lean 13 declarations
- Directional.lean 9 declarations
- DirectionalAdjointCoordinate.lean 3 declarations
- DirectionalBasisSum.lean 8 declarations
- FDerivTimePartial.lean 1 declarations
- FinSnocSlots.lean 14 declarations
- FinsetSumSum.lean 5 declarations
- HarmonicKernel.lean 7 declarations
- HarmonicMeanDefect.lean 7 declarations
- HarmonicMeanTaylorRms.lean 2 declarations
- HarmonicPositionDeriv.lean 6 declarations
- HarmonicStationaryMoment.lean 23 declarations
- IdentityOutputEmbedding.lean 6 declarations
- InnerBasisCoordinate.lean 2 declarations
- InterpolationResidual.lean 8 declarations
- IterTensorLie.lean 16 declarations
- Jet.lean 12 declarations
- JointConditionalLawProperties.lean 2 declarations
- JointInterpolationLaw.lean 4 declarations
- JointMeanMaterial.lean 3 declarations
- JointPosition.lean 9 declarations
- JointSpace.lean 12 declarations
- JointU.lean 5 declarations
- KernelTransportAction.lean 7 declarations
- LintegralFinNatProd.lean 2 declarations
- LogMeshCountRate.lean 9 declarations
- Map.lean 2 declarations
- MapProdFiberLaw.lean 2 declarations
- MapProdSecondFiber.lean 1 declarations
- MaterialScalar.lean 21 declarations
- MatrixArrayAdjoint.lean 2 declarations
- MatrixColor.lean 12 declarations
- MeanMaterialL2.lean 11 declarations
- MeanMaterialVector.lean 23 declarations
- MeasureSmoothLipschitz.lean 1 declarations
- MixingEnvelope.lean 7 declarations
- NaturalMomentNorm.lean 4 declarations
- NoiseKernel.lean 45 declarations
- NormalizedDirection.lean 6 declarations
- NormalizedScoreMajorant.lean 5 declarations
- NormalizedTensor.lean 16 declarations
- NormalizedTensorMajorantScale.lean 2 declarations
- NumericalLayerCount.lean 11 declarations
- NumericalScalars.lean 4 declarations
- PairGauge.lean 6 declarations
- PiAppendLaw.lean 4 declarations
- PolynomialGrowth.lean 12 declarations
- PosteriorJointIntegral.lean 2 declarations
- PrependTape.lean 9 declarations
- Primitive.lean 9 declarations
- PrimitiveExpectedField.lean 5 declarations
- PrimitiveExpectedFieldLipschitz.lean 1 declarations
- PrimitiveField.lean 11 declarations
- ProbabilityEndpoint.lean 5 declarations
- ProbabilityInitialRms.lean 4 declarations
- ProbabilityNodes.lean 43 declarations
- ProbabilityNormalizedTerm.lean 14 declarations
- ProbabilityTransportTrajectory.lean 4 declarations
- ProbabilityVelocity.lean 25 declarations
- ProdMapEventReal.lean 4 declarations
- QuadraticExpectation.lean 10 declarations
- Reindex.lean 2 declarations
- SampleCorrelation.lean 8 declarations
- ScaledMeanJet.lean 3 declarations
- ScoreAugmented.lean 7 declarations
- ScoreSlots.lean 31 declarations
- SkewCenteringField.lean 5 declarations
- SkewCenteringFieldSmooth.lean 4 declarations
- SmoothTimeLocalization.lean 1 declarations
- SpatialJacobianTimeDeriv.lean 1 declarations
- SpatialTensor.lean 35 declarations
- SpatialTensorArrayBound.lean 2 declarations
- SpatialTensorContinuous.lean 6 declarations
- SpatialTransport.lean 6 declarations
- StateLaw.lean 6 declarations
- StationaryMeanTarget.lean 3 declarations
- StationaryTensorVectorRms.lean 2 declarations
- TapeSnocEquiv.lean 11 declarations
- TensorGrad.lean 21 declarations
- TensorVector.lean 39 declarations
- TerminalActionChainQuotient.lean 2 declarations
- TerminalBackward.lean 16 declarations
- TerminalJacobianInverse.lean 9 declarations
- TerminalMean.lean 17 declarations
- TerminalTransportConstant.lean 4 declarations
- TiltedExpectation.lean 8 declarations
- TimeBump.lean 14 declarations
- TopScale.lean 13 declarations
- TranslationIntegrationByParts.lean 2 declarations
- TransportCorrectionMajorant.lean 22 declarations
- TransportMajorant.lean 11 declarations
- UnitUniform.lean 14 declarations
- VelocityJointLip.lean 4 declarations