Count Complex Roots

MaRDI QIDQ43909swMATHFDO

Authors Wenda Li

Publication date 17 October 2017

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

Cites work

• 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

(5)

• Evaluating winding numbers and counting complex roots through Cauchy indices in Isabelle/HOL
• A verified implementation of algebraic numbers in Isabelle/HOL
• Linear Recurrences
• Sturm-Tarski Theorem
• Winding_Number_Eval

This page was built for software: Count Complex Roots