OAI/Probability/SKSupport/Control/
128 declarations, 0 contain sorry, 0 declared as axioms; 9 files
Files
- CoefficientApprox.lean 18 declarations
- ControlPayoffConvex.lean 4 declarations
- ControlledGrid.lean 5 declarations
- ExpectedControlPayoff.lean 8 declarations
- FiniteContinuity.lean 12 declarations
- GridApprox.lean 9 declarations
- GridBridge.lean 13 declarations
- ValueDifference.lean 10 declarations
- VariableGrid.lean 49 declarations