Dense linear system: A parallel self-verified solver

DOI10.1007/S10766-007-0058-XMaRDI QIDQ941827zbMATH OpenOpenAlexFDO

Authors Mariana Luderitz Kolberg, Luiz Gustavo Fernandes, Dalcidio Moraes Claudio

Publication date 2 September 2008

Published in International Journal of Parallel Programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s10766-007-0058-x

zbMATH Keywords

Parallel computingLinear systemsVerified computing

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19)

Recommendations

• Solving dense interval linear systems with verified computing on multicore architectures
• Parallel Processing and Applied Mathematics
• An efficient approach to solve very large dense linear systems with verified computing on clusters.
• Fast and efficient parallel solution of dense linear systems
• PaStiX: A high-performance parallel direct solver for sparse symmetric positive definite systems

Cites work

• scientific article; zbMATH DE number 3855012 (Why is no real title available?)
• scientific article; zbMATH DE number 3766957 (Why is no real title available?)
• scientific article; zbMATH DE number 761488 (Why is no real title available?)
• scientific article; zbMATH DE number 226866 (Why is no real title available?)
• scientific article; zbMATH DE number 4182703 (Why is no real title available?)
• Accurate Sum and Dot Product
• Accurate scientific computations. Symposium, Bad Neuenahr, FRG, March 12- 14, 1985. Proceedings
• LU decomposition optimized for a parallel computer with a hierarchical distributed memory
• Parallel Processing and Applied Mathematics
• Parallel algorithms for \(LU\) decomposition on a shared memory multiprocessor
• The accuracy of a parallel \(LU\) decomposition algorithm

Cited in

(6)

• Floating point fault tolerance with backward error assertions
• An efficient approach to solve very large dense linear systems with verified computing on clusters.
• Parallel Processing and Applied Mathematics
• Solving dense interval linear systems with verified computing on multicore architectures
• High performance verified computing using C-XSC
• High accuracy and interval arithmetic on multicore processors

Describes a project that uses

Uses Software

• LAPACK
• C-XSC 2.0
• C-XSC

This page was built for publication: Dense linear system: A parallel self-verified solver

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q941827)