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
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)
Uses Software
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)