An efficient approach to solve very large dense linear syste…

Emerging

1
Citations
35
Refs
2014
Year
Search Works
Work Details
  • DOI 10.1002/nla.1950
  • OpenAlex ID W2166009466
  • Type Article
  • Language EN
  • Published 19 Aug 2014
  • Volume 22 (2)
  • Pages 299–316
  • Source Numerical Linear Algebra with Applicatio…
  • Publisher Wiley
  • Countries 2
  • Institutions 3
  • Added 24 Jun 2016
  • Updated 21 Aug 2026
External Links
OpenAlex Record DOI Resolver Open Access
MENU
0

An efficient approach to solve very large dense linear systems with verified computing on clusters

Article 2014 EN Green

Summary Automatic result verification is an important tool to guarantee that completely inaccurate results cannot be used for decisions without getting remarked during a numerical computation. Mathematical rigor provided by verified computing allows the computation of an enclosure containing the exact solution of a given problem. Particularly, the computation of linear systems can strongly benefit…

1

Citations

35

References

3

Authors

0.00

FWCI

Citations by Year
Last 1 years
Topics
Keywords
Authors & Affiliations
3 authors
#AuthorInstitutionsORCID
1 Mariana Kolberg Corresponding Universidade Federal do Rio Gr… (BR)
2 Gerd Bohlender Karlsruhe Institute of Technol… (DE) —
3 Luiz Gustavo Fernandes Pontifícia Universidade Católi… (BR)
Related Works
10

Data: OpenAlex