skip to content

Evaluating winding numbers through Cauchy indices in Isabelle/HOL

Presented by: 
Wenda Li
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.
The video for this talk should appear here if JavaScript is enabled.
If it doesn't, something may have gone wrong with our embedded player.
We'll get it fixed as soon as possible.
Presentation Material: 
University of Cambridge Research Councils UK
    Clay Mathematics Institute London Mathematical Society NM Rothschild and Sons