Resposta:
Com a verificação da sequência de Sturm, é testado se todos os valores próprios foram encontrados num determinado intervalo. Dabei nutzt man die Diagonalmatrix aus der Gauss-Zerlegung, deren Anzahl der negativen Diagonalelemente, der Anzahl der Eigenwerte unterhalb der jeweiligen Intervallgrenze entspricht.
Man wendet also den Sturmschen Test für die betrachteten Intervallgrenzen an und bildet daraus die Differenz.