Related Books
Language: en
Pages: 348
Pages: 348
Type: BOOK - Published: 2012-12-06 - Publisher: Springer Science & Business Media
This manual describes a PASCAL extension for scientific computation with the short title PASCAL-XSC (PASCAL eXtension for Scientific Computation). The language
Language: en
Pages: 626
Pages: 626
Type: BOOK - Published: 1992-12-03 - Publisher: Academic Press
Scientific Computing with Automatic Result Verification
Language: en
Pages: 391
Pages: 391
Type: BOOK - Published: 2014-05-04 - Publisher: Springer
This book presents, as a single package, three semingly contradictory and often competitive approaches to deal with ever present uncertainty in science and engi
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
Language: en
Pages: 344
Pages: 344
Type: BOOK - Published: 2012-12-06 - Publisher: Springer Science & Business Media
Enclosure methods and their applications have been developed to a high standard during the last decades. These methods guarantee the validity of the computed re
