An efficient approach to solve very large dense linear systems with verified computing on clusters

DOI10.1002/nla.1950zbMath1363.65088OpenAlexW2166009466MaRDI QIDQ2948101

Mariana Luderitz Kolberg, G. Bohlender, Luiz Gustavo Fernandes

Publication date: 29 September 2015

Published in: Numerical Linear Algebra with Applications (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1002/nla.1950

zbMATH Keywords

linear systemsnumerical experimentsMAGMAautomatic result verificationinterval arithmeticparallel algorithmsMatlabINTLABverified computingBLASC-XSCScaLAPACKLAPACKPBLASPLASMA

Mathematics Subject Classification ID

Interval and finite arithmetic (65G30) Parallel numerical computation (65Y05) Direct numerical methods for linear systems and matrix inversion (65F05) Algorithms with automatic result verification (65G20)

Related Items (1)

Verified numerical computations for large-scale linear systems.

Uses Software

• C-XSC
• C-XSC 2.0
• LAPACK
• Matlab
• ScaLAPACK
• BLAS
• INTLAB
• MPI
• Cosy
• PLASMA
• MAGMA
• PLASMA
• PBLAS

Cites Work

• Unnamed Item
• Dense linear system: A parallel self-verified solver
• ScaLAPACK: A portable linear algebra library for distributed memory computers -- design issues and performance
• Fast and parallel interval arithmetic
• Taylor models and floating-point arithmetic: proof that arithmetic operations are validated in COSY
• Verification methods: Rigorous results using floating-point arithmetic
• A set of level 3 basic linear algebra subprograms
• The design and implementation of the parallel out-of-core ScaLAPACK LU, QR, and Cholesky factorization routines

This page was built for publication: An efficient approach to solve very large dense linear systems with verified computing on clusters