Verified solution of linear systems without directed rounding

Publikationstyp
Technical Report
Date Issued
2005
Sprache
English
Author(s)
Ogita, Takeshi  
Rump, Siegfried M.  orcid-logo
Oishi, Shin’ichi  
Institut
Zuverlässiges Rechnen E-19  
TORE-URI
http://hdl.handle.net/11420/8672
Citation
Technical Report 2005-04, Advanced Research Institute for Science and Engineering Waseda University Tokyo, Japan: (2005)
DDC Class
004: Informatik
510: Mathematik