Formalization and implementation of floating-point matrix operations.

Ulrich W. Kulisch Gerd Bohlender Formalization and implementation of floating-point matrix operations. 239-261 1976 16 Computing 3 http://dx.doi.org/10.1007/BF02280883 db/journals/computing/computing16.html#KulischB76