Design of a parallel linear algebra library for verified computation

Jürgen Wolff von Gudenberg. Design of a parallel linear algebra library for verified computation. Reliable Computing, 1(4):411-419, 1995. [doi]

Abstract

Abstract is missing.