Secuencia de Sturm

Una secuencia de polinomios obtenida aplicando el algoritmo euclidiano a un polinomio real univariante y a su derivada (o usando una secuencia de restos signados) cuyas variaciones de signo evaluadas en los extremos de un intervalo cuentan el número de raíces reales distintas dentro de ese intervalo (teorema de Sturm).