Sturm's theorem

Etymology
Named after Jacques Charles François Sturm, who discovered the theorem in 1829.

Proper noun

 * 1)  A theorem expressing the number of distinct real roots of p located in an interval in terms of the number of changes of signs of the values of the Sturm sequence at the bounds of the interval. Applied to the interval of all the real numbers, it gives the total number of real roots of p.