Resultante

Un escalar, a menudo expresado como el determinante de una matriz construida ad hoc (para dos polinomios univariados, la matriz de Sylvester), que se anula exactamente cuando los polinomios de entrada poseen una raíz común no trivial en el espacio proyectivo.