Registry · Proposition V.P170 tau-effective formalized

V.P170 — ζ_p Experimental Consistency

She-Lévêque from τ dimensions matches experimental structure function data (Anselmet et al. 1984, Benzi et al. 1993) to <1% for all integer p from 1 to 12.

Book V Part 4 Ch. 28

Dependency Graph

Depends on (2)

Depended on by (1)

Lean Formalization

Module: TauLib.BookV.FluidMacro.Turbulence

Symbol: Tau.BookV.FluidMacro.zeta_p_experimental_consistency