Statements (20)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:mathematical_concept
|
| gptkbp:appliesTo |
univariate polynomials with real coefficients
|
| gptkbp:describes |
number of distinct real roots of a polynomial
|
| gptkbp:field |
gptkb:algebra
gptkb:mathematics real analysis |
| gptkbp:hasApplication |
control theory
computer algebra systems symbolic computation |
| https://www.w3.org/2000/01/rdf-schema#label |
Sturm's theorem
|
| gptkbp:namedAfter |
gptkb:Jacques_Charles_François_Sturm
|
| gptkbp:publishedIn |
1835
|
| gptkbp:relatedTo |
real closed fields
algebraic equations Descartes' rule of signs polynomial root-finding |
| gptkbp:usedFor |
counting real roots in an interval
|
| gptkbp:uses |
Sturm sequence
|
| gptkbp:bfsParent |
gptkb:Sturm
|
| gptkbp:bfsLayer |
5
|