A formal proof of Cauchy’s residue theorem
Lecture Notes in Computer Science
MetadataShow full item record
Li, W., & Paulson, L. (2016). A formal proof of Cauchy’s residue theorem. Lecture Notes in Computer Science, 9807 235-251. https://doi.org/10.1007/978-3-319-43144-4_15
We present a formalization of Cauchy’s residue theorem and two of its corollaries: the argument principle and Rouché’s theorem. These results have applications to verify algorithms in computer algebra and demonstrate Isabelle/HOL’s complex analysis library.
China Scholarship Council
External DOI: https://doi.org/10.1007/978-3-319-43144-4_15
This record's URL: https://www.repository.cam.ac.uk/handle/1810/262370