Computer Arithmetic and Self-Validating Numerical Methods

Computer Arithmetic and Self-Validating Numerical Methods
Author :
Publisher : Academic Press
Total Pages : 316
Release :
ISBN-10 : 9781483267814
ISBN-13 : 1483267814
Rating : 4/5 (814 Downloads)

Book Synopsis Computer Arithmetic and Self-Validating Numerical Methods by : Christian Ullrich

Download or read book Computer Arithmetic and Self-Validating Numerical Methods written by Christian Ullrich and published by Academic Press. This book was released on 2014-05-10 with total page 316 pages. Available in PDF, EPUB and Kindle. Book excerpt: Notes and Reports in Mathematics in Science and Engineering, Volume VII: Computer Arithmetic and Self-Validating Numerical Methods compiles papers presented at the first international conference on "Computer Arithmetic and Self-Validating Numerical Methods, held in Basel from October 2 to 6, 1989. This book begins by providing a tutorial introduction to computer arithmetic with operations of maximum accuracy, differentiation arithmetic and enclosure methods, and programming languages for self-validating numerical methods. The rest of the chapters discuss the determination of guaranteed bounds for eigenvalues by variational methods and guaranteed inclusion of solutions of differential equations. An appendix covering the IMACS-GAMM resolution on computer arithmetic is provided at the end of this publication. This volume is recommended for researchers and professionals working on computer arithmetic and self-validating numerical methods.


Computer Arithmetic and Self-Validating Numerical Methods Related Books

Computer Arithmetic and Self-Validating Numerical Methods
Language: en
Pages: 316
Authors: Christian Ullrich
Categories: Computers
Type: BOOK - Published: 2014-05-10 - Publisher: Academic Press

GET EBOOK

Notes and Reports in Mathematics in Science and Engineering, Volume VII: Computer Arithmetic and Self-Validating Numerical Methods compiles papers presented at
Interval Analysis
Language: en
Pages: 625
Authors: Günter Mayer
Categories: Mathematics
Type: BOOK - Published: 2017-04-10 - Publisher: Walter de Gruyter GmbH & Co KG

GET EBOOK

This self-contained text is a step-by-step introduction and a complete overview of interval computation and result verification, a subject whose importance has
Numerical Validation in Current Hardware Architectures
Language: en
Pages: 272
Authors: Annie A.M. Cuyt
Categories: Computers
Type: BOOK - Published: 2009-04-24 - Publisher: Springer Science & Business Media

GET EBOOK

The major emphasis of the Dagstuhl Seminar on “Numerical Validation in C- rent Hardware Architectures” lay on numerical validation in current hardware archi
Computer Arithmetic and Validity
Language: en
Pages: 456
Authors: Ulrich Kulisch
Categories: Mathematics
Type: BOOK - Published: 2013-04-30 - Publisher: Walter de Gruyter

GET EBOOK

This is the revised and extended second edition of the successful basic book on computer arithmetic. It is consistent with the newest recent standard developmen
Parallel Computing Technologies
Language: en
Pages: 478
Authors: Victor Malyshkin
Categories: Computers
Type: BOOK - Published: 1997-08-06 - Publisher: Springer Science & Business Media

GET EBOOK

This book constitutes the refereed proceedings of the Fourth International Conference on Parallel Computing Technologies, PaCT-97, held in Yaroslavl, Russia, in