Réponse:
Le « contrôle de séquence de Sturm » permet de vérifier si toutes les valeurs propres ont été trouvées dans un certain intervalle. Il utilise la matrice diagonale de la décomposition de Gauss dont le nombre d’éléments diagonaux négatifs correspond au nombre de valeurs propres en dessous de la limite d’intervalle respective.
Par conséquent, le contrôle de séquence de Sturm est utilisé pour les limites d’intervalle données et calcule la différence à partir de celles-ci.
