Pages that link to "Item:Q4923948"
From MaRDI portal
The following pages link to The Fundamental Theorem of Algebra Made Effective: An Elementary Real-algebraic Proof via Sturm Chains (Q4923948):
Displaying 13 items.
- Formally-verified decision procedures for univariate polynomial computation based on Sturm's and Tarski's theorems (Q287269) (← links)
- An algebraic certificate for Budan's theorem (Q531342) (← links)
- A new general formula for the Cauchy index on an interval with subresultants (Q820980) (← links)
- Degree of rational mappings, and the theorems of Sturm and Tarski (Q942964) (← links)
- How to count the number of zeros that a polynomial has on the unit circle? (Q2222071) (← links)
- Evaluating winding numbers and counting complex roots through Cauchy indices in Isabelle/HOL (Q2303242) (← links)
- Theorem of three circles in Coq (Q2351412) (← links)
- Local Bézout theorem for Henselian rings (Q2404865) (← links)
- Deux moments dans l'histoire du Théorème d'algèbre de Ch. F. Sturm (Q3787949) (← links)
- A NOTE ON THE FUNDAMENTAL THEOREM OF ALGEBRA (Q4642347) (← links)
- A NOTE ON <i>p</i>-ADIC SIMPLICIAL VOLUMES (Q5009402) (← links)
- Quantitative fundamental theorem of algebra (Q5147021) (← links)
- Algebraic winding numbers (Q6612178) (← links)
