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.
Galois Theory of QpExplores the Galois theory of Qp, covering algebraic extensions, inertia groups, and cyclic properties.
Affine Algebraic SetsCovers affine algebraic sets, hypersurfaces, elliptic curves, ideals, and Noetherian rings in algebraic geometry.