Sturm-Tarski Theorem

MaRDI QIDQ43910swMATHFDO

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

Cited in

(5)

• Evaluating winding numbers and counting complex roots through Cauchy indices in Isabelle/HOL
• Algebraic Numbers
• Count Complex Roots
• Matrix_Tensor
• Winding_Number_Eval

This page was built for software: Sturm-Tarski Theorem