Repository logo
 

A formal proof of Cauchy’s residue theorem

Accepted version
Peer-reviewed

Type

Article

Change log

Authors

Li, W 
Paulson, LC 

Abstract

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.

Description

Keywords

46 Information and Computing Sciences

Journal Title

Lecture Notes in Computer Science

Conference Name

Journal ISSN

0302-9743
1611-3349

Volume Title

9807

Publisher

Springer
Sponsorship
China Scholarship Council