Li, Wenda <br/><br/>
Evaluating Winding Numbers and Counting Complex Roots Through Cauchy Indices in Isabelle/HOL.  [electronic resource] 

 -  Journal of automated reasoning  2020 
 - 331-360 p.  digital 
<br/><br/> Publication Type: Journal Article 
<br/><br/><label>ISSN: </label>1573-0670 
<br/><br/><label>Standard No.: </label>10.1007/s10817-019-09521-3  doi