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
linear systemsnumerical experimentsMAGMAautomatic result verificationinterval arithmeticparallel algorithmsMatlabINTLABverified computingBLASC-XSCScaLAPACKLAPACKPBLASPLASMA
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)
Uses Software
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