Coq: IntroductionIntroduces Coq, covering defining propositions, proving theorems, and using tactics.
Ideal MHD WavesCovers the concept of Ideal MHD waves and the behavior of plasma under different conditions.
Heat Transfer in WindowsExplores heat transfer mechanisms in windows, covering spectral transmittance, reflection, and absorption of incident radiation.