Verified error bounds for real eigenvalues of real symmetric and persymmetric matrices (Q2217866)

Summary: This paper mainly investigates the verification of real eigenvalues of the real symmetric and persymmetric matrices. For a real symmetric or persymmetric matrix, we use \textbf{eig} code in Matlab to obtain its real eigenvalues on the basis of numerical computation and provide an algorithm to compute verified error bound such that there exists a perturbation matrix of the same type within the computed error bound whose exact real eigenvalues are the computed real eigenvalues.