Accurate and reliable computing in floating-point arithmetic

Publikationstyp
Conference Paper
Date Issued
2010-11-12
Sprache
English
Author(s)
Rump, Siegfried M.  orcid-logo
Institut
Zuverlässiges Rechnen E-19  
TORE-URI
http://hdl.handle.net/11420/8539
First published in
Lecture notes in computer science  
Number in series
6327 LNCS
Start Page
105
End Page
108
Citation
Lecture Notes in Computer Science (6327 LNCS): 105-108 (2010-11-12)
Contribution to Conference
3rd International Congress on Mathematical Software, ICMS 2010  
Publisher DOI
10.1007/978-3-642-15582-6_22
Scopus ID
2-s2.0-78149250163
Publisher
Springer
ISBN of container
978-3-642-15582-6
978-3-642-15581-9
Methods will be discussed on how to compute accurate and reliable results in pure floating-point arithmetic. In particular, verification methods with INTLAB and error-free transformations will be presented in some detail.
DDC Class
004: Informatik