シルベスター行列（シルベスターぎょうれつ、Sylvester matrix）とは、2つの多項式が共通根を持つか否かを判定する行列である。2つの多項式を以下のようにする。このとき、("m" + "n") 個の変数をもつ連立方程式が自明でない解 "x" = α (0 ≤ "k" ≤ "m" + "n" − 1) を持つことと、"f

出典:wikipedia