Computer-assisted proofs and self-validating methods

Publikationstyp
Book Part
Date Issued
2005
Sprache
English
Author(s)
Rump, Siegfried M.  orcid-logo
Institut
Zuverlässiges Rechnen E-19  
TORE-URI
http://hdl.handle.net/11420/8668
Start Page
195
End Page
240
Citation
Accuracy and reliability in scientific computing, Chapter 10: 195-240 (2005)
Publisher DOI
10.1137/1.9780898718157.ch10
Publisher
Society for Industrial and Applied Mathematics
DDC Class
004: Informatik
510: Mathematik