OAI/Probability/SKValue/Evolution/
339 declarations, 0 contain sorry, 0 declared as axioms; 43 files
Files
- BoundedSmooth.lean 13 declarations
- BurgersDerivative.lean 4 declarations
- BurgersJets.lean 14 declarations
- ColeHopf.lean 14 declarations
- ColeHopfPDE.lean 10 declarations
- DensityPairing.lean 5 declarations
- DerivativeLimit.lean 5 declarations
- EvolutionDifferentiation.lean 6 declarations
- EvolutionPatch.lean 9 declarations
- EvolutionShift.lean 5 declarations
- EvolveStrips.lean 5 declarations
- FiniteStepEvolution.lean 15 declarations
- GridConvergence.lean 15 declarations
- GridProfile.lean 12 declarations
- HeatBounds.lean 12 declarations
- HeatContinuity.lean 16 declarations
- HeatConvexity.lean 2 declarations
- HeatDuality.lean 13 declarations
- HeatKernelBound.lean 4 declarations
- HeatRegularity.lean 12 declarations
- HeatTimeBound.lean 6 declarations
- HeatTransform.lean 29 declarations
- HigherPDE.lean 7 declarations
- IntegralPrimitiveTerminal.lean 2 declarations
- JetParity.lean 6 declarations
- L1Terminal.lean 4 declarations
- LogCoshTerminal.lean 11 declarations
- LogHeatJets.lean 9 declarations
- MeanDerivativeContinuous.lean 2 declarations
- MildBurgersJets.lean 2 declarations
- MonotoneWeightedGridBound.lean 2 declarations
- ShortStrip.lean 1 declarations
- SmoothApproxBounds.lean 4 declarations
- SmoothEvolution.lean 11 declarations
- SmoothFamily.lean 5 declarations
- TerminalAlgebra.lean 5 declarations
- TerminalError.lean 11 declarations
- TestEvolution.lean 6 declarations
- TestHeat.lean 6 declarations
- TestStrip.lean 2 declarations
- TimePatch.lean 10 declarations
- TimeWeightedIntervalIntegrable.lean 3 declarations
- UniformGridRiemannBound.lean 4 declarations