Answer:
The Sturm sequence check tests whether all eigenvalues were found in a certain interval. The diagonal matrix from the Gauss decomposition is used, whose number of negative diagonal elements corresponds to the number of eigenvalues below the respective interval limit.
Thus, the Sturm sequence check is used for the considered interval limits and the difference is calculated.
