Theoremadvanced
Cauchy root bound
Also called Cauchy bound, Cauchy bound on roots, Cauchy's root bound.
All roots of a polynomial lie within an explicit disk determined by its coefficients.
All roots of a polynomial lie within an explicit disk determined by its coefficients.
About this page
The build computes these levels from the evidence in the repository. Each row says what the next level needs. Read what the levels mean.
| Ladder | Level | What the next level needs |
|---|---|---|
| Human proof | H0 no proof |
|
| Lean | L0 no Lean part |
|
| Visual | V0 none |
|
| Writing | W0 stub |
|
Tag 11KYBY Edit this page History Report an error