Tight and efficient enclosure of matrix multiplication by using optimized BLAS.
scientific article; zbMATH DE number 6043435