Antwort:
Die sogenannte Sturmsche Kontrolle prüft, ob in einem bestimmten Intervall alle Eigenwerte gefunden wurden. 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.