Evaluating winding numbers through Cauchy indices in Isabelle/HOL
Add to your list(s)
Download to your calendar using vCal
If you have a question about this talk, please contact info@newton.ac.uk.
BPR  Big proof
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.
This talk is part of the Isaac Newton Institute Seminar Series series.
This talk is included in these lists:
Note that exdirectory lists are not shown.
