Solving Dense Interval Linear Systems with Verified Computing on Multicore Architectures
From MaRDI portal
Publication:3081381
DOI10.1007/978-3-642-19328-6_39zbMath1323.65137OpenAlexW1636863571MaRDI QIDQ3081381
Luiz Gustavo Fernandes, Mariana Luderitz Kolberg, Cleber Roberto Milani
Publication date: 8 March 2011
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-642-19328-6_39
Interval and finite arithmetic (65G30) Parallel numerical computation (65Y05) Complexity and performance of numerical algorithms (65Y20) Direct numerical methods for linear systems and matrix inversion (65F05) Algorithms with automatic result verification (65G20) Numerical algorithms for specific classes of architectures (65Y10)
Uses Software
Cites Work
- Dense linear system: A parallel self-verified solver
- ScaLAPACK: A portable linear algebra library for distributed memory computers -- design issues and performance
- Fast and parallel interval arithmetic
- Basic Linear Algebra Subprograms for Fortran Usage
- FLAME
- Self-validating methods
- Unnamed Item
- Unnamed Item