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.
@inproceedings{GrimmerK07,
title = {An MPI Extension for Verified Numerical Computations in Parallel Environments},
author = {Markus Grimmer and Walter Krämer},
year = {2007},
tags = {Meta-Environment},
researchr = {https://researchr.org/publication/GrimmerK07},
cites = {0},
citedby = {0},
pages = {111-117},
booktitle = {Proceedings of the 2007 International Conference on Scientific Computing, CSC 2007, June 25-28, 2007, Las Vegas, Nevada, USA},
editor = {Hamid R. Arabnia and Jack Y. Yang and Mary Qu Yang},
publisher = {CSREA Press},
isbn = {1-60132-037-X},
}