Fundamental SolutionsExplores fundamental solutions in partial differential equations, highlighting their significance in mathematical applications.
Differential Equations: Part 2Explores Peano's existence theorem, compactness properties, uniqueness of solutions, Ascoli-Arzela theorem, and ripeness in differential equations.
Supremum TheoremExplores the Supremum Theorem, its properties, proofs, and exercises.
Coq: IntroductionIntroduces Coq, covering defining propositions, proving theorems, and using tactics.