Mariana Luderitz Kolberg Luiz Gustavo Fernandes Dalcidio Moraes Claudio Dense Linear System: A Parallel Self-verified Solver. 412-425 2008 36 International Journal of Parallel Programming 4 http://dx.doi.org/10.1007/s10766-007-0058-x db/journals/ijpp/ijpp36.html#KolbergFC08