The story
Named after Jacques Charles François Sturm, who discovered the theorem in 1829.
Etymology from Wiktionary, CC BY-SA 4.0.
Sturm's theorem
Today it means: 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. Full definition →