OAI/Probability/SKSupport/Diffusion/
184 declarations, 0 contain sorry, 0 declared as axioms; 21 files
Files
- AbsIncrement.lean 2 declarations
- AffineComparison.lean 3 declarations
- BoundedDiffusionProperties.lean 13 declarations
- CompactDrift.lean 44 declarations
- Diffusion.lean 3 declarations
- DiffusionStability.lean 11 declarations
- ExpectedBrownianStep.lean 2 declarations
- ExpectedFeedbackStep.lean 4 declarations
- FeedbackVerification.lean 1 declarations
- FiniteFeedback.lean 12 declarations
- FiniteTransition.lean 5 declarations
- MixedDrift.lean 8 declarations
- MixedPathStability.lean 2 declarations
- PicardDiffusion.lean 31 declarations
- PicardUniqueness.lean 2 declarations
- ProgressiveBrownian.lean 14 declarations
- ProgressiveIntegralMeasurable.lean 1 declarations
- StepDrift.lean 10 declarations
- TerminalShapes.lean 11 declarations
- Uniqueness.lean 1 declarations
- VariableFeedbackEuler.lean 4 declarations