Mariana Luderitz Kolberg Gerd Bohlender Dalcidio Moraes Claudio Improving the Performance of a Verified Linear System Solver Using Optimized Libraries and Parallel Computation. 13-26 2008 VECPAR http://dx.doi.org/10.1007/978-3-540-92859-1_3 conf/vecpar/2008 db/conf/vecpar/vecpar2008.html#KolbergBC08