Verified solution of large linear and nonlinear systems

Publikationstyp
Conference Paper
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
NATO Advanced Study Institute on Error Control and Adaptivity in Scientific Computing, 1998 (1999)
Contribution to Conference
NATO Advanced Study Institute on Error Control and Adaptivity in Scientific Computing, 1998  
Publisher
Kluwer Acad. Publ.
ISBN of container
0-7923-5808-2
0-7923-5809-0
978-94-011-4647-0
DDC Class
004: Informatik
510: Mathematik