Parallel Processing and Applied Mathematics

DOI10.1007/B97218MaRDI QIDQ5307366zbMATH OpenOpenAlexFDO

Authors Carlos A. Hölbig, Paulo Sérgio Morandi Júnior, Bernardo Frederes Krämer Alcalde, Tiarajú A. Diverio

Publication date 25 September 2007

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/b97218

Mathematics Subject Classification ID

Packaged methods for numerical algorithms (65Y15) Iterative numerical methods for linear systems (65F10) Algorithms with automatic result verification (65G20) Numerical algorithms for specific classes of architectures (65Y10)

Recommendations

• Solvers for the verified solution of parametric linear systems
• Dense linear system: A parallel self-verified solver
• scientific article; zbMATH DE number 804617
• Fast verified solutions of linear systems
• A formally verified solver for homogeneous linear Diophantine equations
• scientific article; zbMATH DE number 1206063
• Problem-oriented verification system and its application to linear algebra programs
• scientific article; zbMATH DE number 714516
• Verification of linear algebra programs in the SPEKTR system

Cited in

(6)

• Dense linear system: A parallel self-verified solver
• Solvers for the verified solution of parametric linear systems
• A new PCP outer verifier with applications to homogeneous linear equations and max-bisection
• scientific article; zbMATH DE number 4139187 (Why is no real title available?)
• Embedding C-XSC nonlinear solvers in Mathematica
• High performance verified computing using C-XSC

Describes a project that uses

Uses Software

• C-XSC 2.0
• C-XSC

This page was built for publication: Parallel Processing and Applied Mathematics

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