skip to content

Evaluating winding numbers through Cauchy indices in Isabelle/HOL

Presented by: 
Wenda Li Cambridge Research Institute
Monday 17th July 2017 - 16:00 to 16:30
INI Seminar Room 2
In this talk, I will describe a newly developed tactic that evaluates winding numbers through Cauchy indices. By combining with remainder sequences, this theory of Cauchy indices also leads to decision procedures to count the number of complex roots of a polynomial in some domain.
Presentation Material: 
University of Cambridge Research Councils UK
    Clay Mathematics Institute London Mathematical Society NM Rothschild and Sons