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