1. [1] S. Oishi, Verified Numerical Calculation, Corona Pub. co., January 2000, in Japanese.
2. [2] M. Nakao and N. Yamamoto, Verified Numerical Calculation, Nihon Hyoron co., June 1998, in Japanese.
3. [3] S. Oishi, Introduction to nonlinear analysis, Corona Pub. co., April 1997, in Japanese.
4. [4] T. Yamamoto, Introduction to numerical analysis (Revised), Science co., June 2003, in Japanese.
5. [5] S. Oishi, K. Tanabe, T. Ogita, and S.M. Rump, “Convergence of Rump's method for inverting arbitrarily ill-conditioned matrices,” Journal of Computational and Applied Mathematics, vol. 205, no. 1, pp. 533-544, 2007.