Related Books
Language: en
Pages: 152
Pages: 152
Type: BOOK - Published: 2023-06-06 - Publisher: Princeton University Press
A comprehensive, self-contained primer on validated numerics This textbook provides a comprehensive introduction to the theory and practice of validated numeric
Language: en
Pages: 385
Pages: 385
Type: BOOK - Published: 2013-04-17 - Publisher: Springer Science & Business Media
Scan 2000, the GAMM - IMACS International Symposium on Scientific Computing, Computer Arithmetic, and Validated Numerics and Interval 2000, the International Co
Language: en
Pages: 291
Pages: 291
Type: BOOK - Published: 2016-04-08 - Publisher: Springer
This book constitutes the refereed post proceedings of the 16th International Symposium, SCAN 2014, held in Würzburg, Germany, in September 2014. The 22 full p
Language: en
Pages: 348
Pages: 348
Type: BOOK - Published: 1996 - Publisher: De Gruyter Akademie Forschung
The International Symposium on Scientific Computing, Computer Arithmetic and Validated Numerics SCAN is held biannually, the fourth conference took place in Wup
Language: en
Pages: 272
Pages: 272
Type: BOOK - Published: 2009-04-28 - Publisher: Springer
This book constitutes the thoroughly refereed post-proceedings of the Dagstuhl Seminar 08021 on Numerical Validation in Current Hardware Architectures held at D
