Alexander Dallmann, Philip-Daniel Beck, Jürgen Wolff von Gudenberg. Finding Enclosures for Linear Systems Using Interval Matrix Multiplication in CUDA. In Roman Wyrzykowski, Jack Dongarra, Konrad Karczewski, Jerzy Wasniewski, editors, Parallel Processing and Applied Mathematics - 10th International Conference, PPAM 2013, Warsaw, Poland, September 8-11, 2013, Revised Selected Papers, Part II. Volume 8385 of Lecture Notes in Computer Science, pages 582-590, Springer, 2013. [doi]