Parallel Verified Linear System Solver for Uncertain Input D…
Emerging
2
Citations25
Refs2008
Year
Search Works
Work Details
- DOI 10.1109/sbac-pad.2008.10
- OpenAlex ID W2139302919
- Type Conference-paper
- Language EN
- Published 01 Oct 2008
- Volume 39
- Pages 89–96
- Source International Symposium on Computer Arch…
- Publisher Institute of Electrical and Electro…
- FWCI 0.27
- Countries 2
- Institutions 2
- Added 24 Jun 2016
- Updated 28 Oct 2026
External Links
MENU
0
Parallel Verified Linear System Solver for Uncertain Input Data
Conference-paper 2008 EN
This paper presents a new parallel implementation for solving dense interval linear systems with verified computing. The use of intervals appears as one possible way to handle the uncertainty of input data in real problems. A verified method using midpoint-radius arithmetic and directed roundings was combined with optimized libraries such as SCALAPACK and PBLAS to provide a free, fast, reliable an…
2
Citations
25
References
4
Authors
0.27
FWCI
Citations by Year
Last 1 yearsTopics
Keywords
Authors & Affiliations
4 authors| # | Author | Institutions | ORCID |
|---|---|---|---|
| 1 | Mariana Kolberg | Pontifícia Universidade Católi… (BR) | |
| 2 | Márcio Dorn | Pontifícia Universidade Católi… (BR) | |
| 3 | Luiz Gustavo Fernandes | Pontifícia Universidade Católi… (BR) | |
| 4 | Gerd Bohlender | Karlsruhe Institute of Technol… (DE) | — |
Related Works
10Data: OpenAlex