Count the Number of Complex Roots

MaRDI QIDQ7361354swMATHFDO

Authors Wenda Li

Publication date 17 October 2017

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

(1)

• Linear Recurrences

This page was built for software: Count the Number of Complex Roots