Covers inductive propositions in Coq, focusing on evaluation rules for arithmetic expressions and their applications in defining partial and non-deterministic functions.
Discusses Laurent series and the residue theorem in complex analysis, focusing on singularities and their applications in evaluating complex integrals.