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

sparse methodsnumerical exampleshigh performance computingparallelizationverified computing\texttt{C-XSC}interval linear systempackaged methodsself-validating methodsthread-safety

Mathematics Subject Classification ID

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

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

• 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?)
• 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
• 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)

• Solvers for the verified solution of parametric linear systems
• Numerical Software with Result Verification
• 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
• TASS: the toolkit for accurate scientific software

Describes a project that uses

Uses Software

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

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)