Parallel Processing and Applied Mathematics
DOI10.1007/B97218zbMATH Open1128.65302OpenAlexW2984027331MaRDI QIDQ5307366FDOQ5307366
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
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
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 (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
- Title not available (Why is that?)
- Embedding C-XSC nonlinear solvers in Mathematica
- High performance verified computing using C-XSC
Uses Software
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)
