Climate change in response to a change in external forcing can be understood in terms of fast response to the imposed forcing and slow feedback associated with surface temperature change. Previous ...
ProbabilityApproximation is a Lean 4 and Mathlib library for the Berry–Esseen theorem, quantitative normal approximation, and the multivariate central limit theorem. It formalizes the nonuniform ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results