TY  - RPRT
TI  - Evaluating Winding Numbers and Counting Complex Roots through Cauchy Indices in Isabelle/HOL
AU  - Wenda Li
AU  - Lawrence C. Paulson
PY  - 2019
DO  - 10.1007/s10817-019-09521-3
UR  - https://arxiv.org/abs/1804.03922
ID  - 1804.03922
ER  -