Suite de Sturm

Une suite de polynômes obtenue en appliquant l'algorithme d'Euclide à un polynôme réel univarié et à sa dérivée (ou en utilisant une suite de restes signés) dont les variations de signe évaluées aux extrémités d'un intervalle comptent le nombre de racines réelles distinctes de l'intérieur de cet intervalle (théorème de Sturm).