Design of a parallel linear algebra library for verified computation (Q1904355)
From MaRDI portal
| This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Design of a parallel linear algebra library for verified computation |
scientific article; zbMATH DE number 827856
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Design of a parallel linear algebra library for verified computation |
scientific article; zbMATH DE number 827856 |
Statements
Design of a parallel linear algebra library for verified computation (English)
0 references
1 February 1996
0 references
Short report on the design principles of a parallel linear algebra library that includes verified computation (Kulisch arithmetics). Some details about the modular, object-oriented (C++) design are presented, including data distribution about the processors.
0 references
interval arithmetics
0 references
Kulisch arithmetics
0 references
parallel linear algebra library
0 references
verified computation
0 references