Approximation AlgorithmsCovers approximation algorithms for optimization problems, LP relaxation, and randomized rounding techniques.
Fundamental GroupsExplores fundamental groups, homotopy classes, and coverings in connected manifolds.
Coq: IntroductionIntroduces Coq, covering defining propositions, proving theorems, and using tactics.