BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Talks.cam//talks.cam.ac.uk//
X-WR-CALNAME:Talks.cam
BEGIN:VEVENT
SUMMARY:Evaluating winding numbers through Cauchy indices in Isabelle/HOL 
 - Wenda Li (University of Cambridge)
DTSTART:20170717T150000Z
DTEND:20170717T153000Z
UID:TALK73751@talks.cam.ac.uk
CONTACT:INI IT
DESCRIPTION:In this talk\, I will describe a newly developed tactic that e
 valuates winding numbers through Cauchy indices. By combining with remaind
 er sequences\, this theory of Cauchy indices also leads to decision proced
 ures to count the number of complex roots of a polynomial in some domain.
LOCATION:Seminar Room 2\, Newton Institute
END:VEVENT
END:VCALENDAR