Registry · Definition V.D107 tau-effective formalized

V.D107 — tau-MHD system

Tau-MHD system: the coupled evolution of the macro tau-NS equation with Lorentz force source (J x B)/rho and the induction equation for B with Ohmic diffusion, defining the complete magnetohydrodynamic dynamics on tau^3.

Book V Part 4 Ch. 31

Dependency Graph

Depended on by (2)

Lean Formalization

Module: TauLib.BookV.FluidMacro.TauMHD

Symbol: Tau.BookV.FluidMacro.TaumhdSystem