A Formal Proof of Cauchy’s Residue Theorem Wenda Li and Lawrence C. Paulson University of Cambridge {wl302,lp15 August 22, 2016 - Formal proof - Document - PDFSEARCH.IO

First Page	Meta Content
	A Formal Proof of Cauchy’s Residue Theorem Wenda Li and Lawrence C. Paulson University of Cambridge {wl302,lp15}@cam.ac.uk August 22, 2016 Add to Reading List Document Date: 2016-08-30 03:42:16 Open Document File Size: 197,69 KB Share Result on Facebook

A Formal Proof of Cauchy’s Residue Theorem Wenda Li and Lawrence C. Paulson University of Cambridge {wl302,lp15}@cam.ac.uk August 22, 2016Add to Reading List