Sturm sequence

Today it means: For some univariate polynomial p, a sequence of polynomials associated with p and its derivative by a variant of Euclid's algorithm for polynomials. Full definition →