High performance verified computing using C-XSC

DOI10.1007/S40314-013-0028-4MaRDI QIDQ382427zbMATH OpenOpenAlexFDO

Authors Walter Krämer

Publication date 19 November 2013

Published in Computational and Applied Mathematics (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s40314-013-0028-4

zbMATH Keywords

\texttt{C-XSC}high performance computinginterval linear systemnumerical examplespackaged methodsparallelizationself-validating methodssparse methodsthread-safetyverified computing

Mathematics Subject Classification ID

Direct numerical methods for linear systems and matrix inversion (65F05) Computational methods for sparse matrices (65F50) Algorithms with automatic result verification (65G20) Interval and finite arithmetic (65G30) Parallel numerical computation (65Y05) Packaged methods for numerical algorithms (65Y15)

Recommendations

• Parallel Processing and Applied Mathematics
• Solvers for the verified solution of parametric linear systems
• scientific article; zbMATH DE number 434845
• Multiple/arbitrary precision interval computations in C-XSC
• scientific article; zbMATH DE number 488523

Cites work

• A solver for complex-valued parametric linear systems
• Accurate Sum and Dot Product
• Algorithm 832
• Algorithm 876
• Basic Linear Algebra Subprograms for Fortran Usage
• Condition numbers and equilibration of matrices
• Dense linear system: A parallel self-verified solver
• scientific article; zbMATH DE number 488523 (Why is no real title available?)
• scientific article; zbMATH DE number 1440908 (Why is no real title available?)
• scientific article; zbMATH DE number 226866 (Why is no real title available?)
• Inner and outer bounds for the solution set of parametric linear systems
• Numerical Software with Result Verification
• Rounding-error and perturbation bounds for the Cholesky and \(LDL^ T\) factorizations
• ScaLAPACK: A portable linear algebra library for distributed memory computers -- design issues and performance
• Sparse Matrices in MATLAB: Design and Implementation
• The Arithmetic of the Digital Computer: A New Approach
• Verification of positive definiteness

Cited in

(6)

• TASS: the toolkit for accurate scientific software
• Solving interval systems of equations obtained during the numerical solution of boundary value problems
• Solving dense interval linear systems with verified computing on multicore architectures
• High accuracy and interval arithmetic on multicore processors
• Solvers for the verified solution of parametric linear systems
• Numerical Software with Result Verification

Describes a project that uses

Uses Software

• C-XSC
• C-XSC 2.0
• ScaLAPACK
• UMFPACK
• INTLAB
• CHOLMOD
• FastPILSS
• ParLinSys
• symrcm
• Algorithm 876
• PBLAS
• CSparse

This page was built for publication: High performance verified computing using C-XSC

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