43 citations · 151 across the 29 of their papers we have counts for
Showing 2018Show all
2 papers · 1 filter
cs.LO2018
Counting Polynomial Roots in Isabelle/HOL: A Formal Proof of the Budan-Fourier Theorem
Wenda Li, Lawrence C. Paulson
Many problems in computer algebra and numerical analysis can be reduced to counting or approximating the real roots of a polynomial within an interval. Existing verified root-count…
cs.LO2018★ 11 cited
Evaluating Winding Numbers and Counting Complex Roots through Cauchy Indices in Isabelle/HOL
Wenda Li, Lawrence C. Paulson
In complex analysis, the winding number measures the number of times a path (counter-clockwise) winds around a point, while the Cauchy index can approximate how the path winds. We…