General Physics: MechanicsExplores mechanics, equilibrium, and conservation laws in physics, with practical examples and demonstrations.
Coq: IntroductionIntroduces Coq, covering defining propositions, proving theorems, and using tactics.
Small Scale StabilityCovers small scale stability conditions and asymptotic behavior around fixed points.
Maximum Likelihood EstimationCovers Maximum Likelihood Estimation in statistical inference, discussing MLE properties, examples, and uniqueness in exponential families.