Verified solution of large linear and nonlinear systems

Publikationstyp
Book part
Date Issued
1999
Sprache
English
Author(s)
Rump, Siegfried M.  orcid-logo
Institut
Zuverlässiges Rechnen E-19  
TORE-URI
http://hdl.handle.net/11420/9366
First published in
NATO science series / Series C, Mathematical and physical sciences  
Number in series
536
Start Page
279
End Page
298
Citation
Error control and adaptivity in scientific computing: 279–298 (1999)
Contribution to Conference
NATO Advanced Study Institute on Error Control and Adaptivity in Scientific Computing, 1998  
Publisher
Kluwer Acad. Publ.
DDC Class
004: Informatik
510: Mathematik