Risposta:
Il controllo della sequenza di Sturm verifica se tutti gli autovalori sono stati trovati in un certo intervallo. 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.
