1. Hörmann, B.: Notes on LAPACK and Verification. Technical Report 95-1 Universitätsrechenzentrum und Institut für Informatik Universität Basel Schweiz (1995)
2. Falcó Korn, C., Hörmann, B., Ullrich, C.: Verification May Be Better Than Estimation. SIAM J. Sci. Comput. 17 4 (to appear 1996)
3. Rump, S.M.: Inclusion of the Solution of Large Linear Systems with Positive Definite Symmetric M-Matrix. Computer Arithmetic and Enclosure Methods Elsevier Science Publishers B. V. (1992) 339–347
4. Collatz, L.: Functional analysis and numerical mathematics. Academic Press New York (1966)
5. Gale, D.: The game of hex and the Brouwer fixed-point theorem. Amer. Math. Monthly 86 10 (1979) 818–826