Citace podle APA

Li, W., & Paulson, L. C. (2019). Evaluating Winding Numbers and Counting Complex Roots Through Cauchy Indices in Isabelle/HOL. J Autom Reason.

Styl Chicago

Li, Wenda, a Lawrence C. Paulson. "Evaluating Winding Numbers and Counting Complex Roots Through Cauchy Indices in Isabelle/HOL." J Autom Reason 2019.

Citace podle MLA

Li, 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..