Winding_Number_Eval

MaRDI QIDQ43911swMATHFDO

Authors Wenda Li

Publication date 17 October 2017

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

Cites work

• Algorithms in real algebraic geometry
• Unnamed Publication
• Isabelle/HOL. A proof assistant for higher-order logic
• The Fundamental Theorem of Algebra Made Effective: An Elementary Real-algebraic Proof via Sturm Chains

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