Sturm's theorem

Sturm's theorem, or Sturm's sequence, is a mathematical result concerning the number of real roots of a polynomial within a given interval. Named after the French mathematician Jacques Charles François Sturm, it provides a systematic way to count the distinct real roots of a polynomial by using Sturm sequences.