Improving the Performance of a Verified Linear System Solver Using Optimized Libraries and Parallel Computation.
Mariana Luderitz KolbergGerd BohlenderDalcidio Moraes ClaudioPublished in: Numerical Validation in Current Hardware Architectures (2008)