Matrice de Bézout

Une matrice structurée associée à deux polynômes univariés dont les éléments sont des formes bilinéaires en les coefficients des polynômes ; son déterminant (à un facteur scalaire près) est le résultant et son noyau encode les racines communes et des informations sur le pgcd.