Lee-Yang TheoryExplores the Lee-Yang theory, covering connected graphs, paths, phase diagrams, and analytic continuation.
Van der Pol OscillatorExplores the Van der Pol oscillator, its dynamic equations, and phase plane representation.
Homotopy Type TheoryCovers homotopy type theory, including equivalences, contractible spaces, pushouts, and applications.
Hyperbolic GeometryIntroduces hyperbolic geometry, covering complete metric spaces, isometries, and Gaussian curvature in dimension 2.