Markus Grimmer, Walter Krämer. An MPI Extension for Verified Numerical Computations in Parallel Environments. In Hamid R. Arabnia, Jack Y. Yang, Mary Qu Yang, editors, Proceedings of the 2007 International Conference on Scientific Computing, CSC 2007, June 25-28, 2007, Las Vegas, Nevada, USA. pages 111-117, CSREA Press, 2007.
Abstract is missing.