Ideal MHD WavesCovers the concept of Ideal MHD waves and the behavior of plasma under different conditions.
Continuous Random VariablesCovers continuous random variables, probability density functions, and distributions, with practical examples.
Turbulence: Numerical Flow SimulationExplores turbulence characteristics, simulation methods, and modeling challenges, providing guidelines for choosing and validating turbulence models.
Continuous Random VariablesExplores continuous random variables, density functions, joint variables, independence, and conditional densities.
Plasma Two-fluid ModelExplores the two-fluid model in plasma physics, focusing on linearization and equilibrium conditions.
Coq: IntroductionIntroduces Coq, covering defining propositions, proving theorems, and using tactics.