Improving the Performance of a Verified Linear System Solver Using Optimized Libraries and Parallel Computation.

Mariana Luderitz Kolberg Gerd Bohlender Dalcidio Moraes Claudio Improving the Performance of a Verified Linear System Solver Using Optimized Libraries and Parallel Computation. 2008 Numerical Validation in Current Hardware Architectures http://drops.dagstuhl.de/opus/volltexte/2008/1438 conf/dagstuhl/2008P8021 db/conf/dagstuhl/P8021.html#KolbergBC08