A chamada verificação de sequência de Sturm testa se todos os valores próprios foram encontrados em um determinado intervalo. Utiliza a matriz diagonal da decomposição de Gauss cujo número de elementos diagonais negativos, corresponde ao número de valores próprios abaixo do respetivo limite de intervalo.
Portanto, a verificação de sequência de Sturm é utilizada para os limites de intervalo dados e calcula a diferença a partir deles.