Li, W., & Paulson, L. C. (2019). Evaluating Winding Numbers and Counting Complex Roots Through Cauchy Indices in Isabelle/HOL. J Autom Reason.
Styl ChicagoLi, Wenda, a Lawrence C. Paulson. "Evaluating Winding Numbers and Counting Complex Roots Through Cauchy Indices in Isabelle/HOL." J Autom Reason 2019.
Citace podle MLALi, Wenda, a Lawrence C. Paulson. "Evaluating Winding Numbers and Counting Complex Roots Through Cauchy Indices in Isabelle/HOL." J Autom Reason 2019.
Upozornění: Tyto citace jsou generovány automaticky. Nemusí být zcela správně podle citačních pravidel..