1. Matrix Computations;Golub,1996
2. Verification methods: rigorous results using floating-point arithmetic;Rump;Acta Numer.,2010
3. Fast enclosure for all eigenvalues and invariant subspaces in generalized eigenvalue problems;Miyajima;SIAM J. Matrix Anal. Appl.,2014
4. Fast verification for all eigenpairs in symmetric positive definite generalized eigenvalue problems;Miyajima;Reliab. Comput.,2010
5. J. Rohn, VERSOFT: Verification software in MATLAB / INTLAB, version 10, 2019, URL http://uivtx.cs.cas.cz/~rohn/matlab/.