Registry · Definition V.D98 tau-effective formalized

V.D98 — Macro tau-Reynolds number

Macro tau-Reynolds number: Re_tau^macro = mu_n^macro / eta_tau^macro, the ratio of macro mobility to macro viscosity; determines whether the flow is laminar (Re << 1) or turbulent (Re >> 1).

Book V Part 4 Ch. 27

Lean Formalization

Module: TauLib.BookV.FluidMacro.NavierStokesMacro

Symbol: Tau.BookV.FluidMacro.MacroTaureynoldsNumber