high performance linear algebra using interval arithmetic
In this paper, we describe implementations of interval matrix multiplication and verified solution to a linear system, using entirely BLAS routines, which are fully optimized and parallelized.
linear algebra interval arithmetic interval matrix multiplication certified solution of a linear system efficient implementation