Sturm Sequence

A sequence of polynomials obtained by applying the Euclidean algorithm to a real univariate polynomial and its derivative (or using a signed remainder sequence) whose sign variations evaluated at interval endpoints count the number of distinct real roots inside that interval (Sturm's theorem).