TY  - GEN
AU  - Li,Wenda
AU  - Paulson,Lawrence C
TI  - Evaluating Winding Numbers and Counting Complex Roots Through Cauchy Indices in Isabelle/HOL
SN  - 1573-0670
PY  - 2020///
PB  - Journal of automated reasoning
N1  - Publication Type: Journal Article
UR  - https://doi.org/10.1007/s10817-019-09521-3
ER  -