Fundamental GroupsExplores fundamental groups, homotopy classes, and coverings in connected manifolds.
Coq: IntroductionIntroduces Coq, covering defining propositions, proving theorems, and using tactics.
Fundamental SolutionsExplores fundamental solutions in partial differential equations, highlighting their significance in mathematical applications.
Continuous Time Markov ChainsCovers the basic theory for continuous time Markov chains and discusses communication, hitting probabilities, recurrence, and transience.