| Title: | Verified computation of the solution of large sparse linear systems | Language: | English | Authors: | Rump, Siegfried M.  |
Issue Date: | 1995 | Publisher: | Wiley-VCH | Source: | ZAMM 75: 439–442 (1995) | Journal or Series Name: | ZAMM | URI: | http://hdl.handle.net/11420/9411 | ISSN: | 1521-4001 | Institute: | Zuverlässiges Rechnen E-19 | Document Type: | Article |
| Appears in Collections: | Publications without fulltext |
Show full item record
Add Files to Item
Note about this record
Export
Items in TORE are protected by copyright, with all rights reserved, unless otherwise indicated.