終結式
2つの多項式の終結式(しゅうけつしき、英: resultant)はそれらの係数を不定元とする整係数多項式であり、これが 0 になることと多項式が(係数体の適当な拡大体において)共通根を持つことが同値
eliminant(消去式)と呼ばれることもある
シルベスター行列 - Wikipedia