Parallel Processing and Applied Mathematics

DOI10.1007/B97218zbMATH Open1128.65302OpenAlexW2984027331MaRDI QIDQ5307366FDOQ5307366

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

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)

Cited In (2)

• Dense linear system: A parallel self-verified solver
• A new PCP outer verifier with applications to homogeneous linear equations and max-bisection

Uses Software

• C-XSC
• C-XSC 2.0

   Recommendations

• Solvers for the verified solution of parametric linear systems 👍 👎
• Dense linear system: A parallel self-verified solver 👍 👎
• Title not available (Why is that?) 👍 👎
• Fast verified solutions of linear systems 👍 👎
• A formally verified solver for homogeneous linear Diophantine equations 👍 👎
• Title not available (Why is that?) 👍 👎
• Problem-oriented verification system and its application to linear algebra programs 👍 👎
• Title not available (Why is that?) 👍 👎
• Verification of linear algebra programs in the SPEKTR system 👍 👎

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)