Ausgabe 2/2020
Inhalt (2 Artikel)
Open Access
Evaluating Winding Numbers and Counting Complex Roots Through Cauchy Indices in Isabelle/HOL
Wenda Li, Lawrence C. Paulson