Count Complex Roots

MaRDI QIDQ43909swMATHFDO

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

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