Winding_Number_Eval

MaRDI QIDQ43911swMATHFDO

Official website https://www.isa-afp.org/entries/Winding_Number_Eval.html

Cited in

(3)

• Evaluating winding numbers and counting complex roots through Cauchy indices in Isabelle/HOL
• Count Complex Roots
• Sturm-Tarski Theorem

This page was built for software: Winding_Number_Eval