1. Oishi, S., Rump, S. M.: Fast verification of solutions of matrix equations. Numer. Math, (to appear).
2. Oishi, S.: Fast enclosure of matrix eigenvalues and singular values via rounding mode controlled computation. Linear Alg. Appl. 324, 133–146 (2001).
3. Kulisch, U. W., Miranker, W. L.: Computer arithmetic in theory and practice. New York: Academic Press, 1981.
4. Axelsson, O.: Iterative solution methods. Cambridge: Cambridge University Press, 1994.
5. Golub, G. H., Van Loan, C. F.: atrix computations, 3rd ed. Baltimore and London: The Johns Hopkins University Press, 1996.