スツルムの定理

3行要約

1. 実係数多項式が指定された区間内に持つ実根の個数を求めるための定理。
2. 多項式とその導関数から生成される「スツルム列」の符号変化を利用する。
3. 代数方程式の解の存在範囲を特定する計算機代数の基礎手法である。