実根分離

数学、特に数値解析とコンピュータ代数において、多項式の実根分離（じつこんぶんり、英語: Real-root isolation）とは、実数直線の互いに素な区間を生成することであり、これらの区間は多項式の実根をそれぞれ1つだけ含み、また全体としては多項式のすべての実根を含む。実根分離が有用なのは、多項式の実根を計算する通常の求根アルゴリズムは、いくつかの実根（の探索結果）を生成することはあっても、一般にすべての実根が探索されたことを証明できないためである。