Computer Arithmetic and Self-Validating Numerical Methods - Softcover

9781483247847: Computer Arithmetic and Self-Validating Numerical Methods

Softcover

ISBN 10: 1483247848 ISBN 13: 9781483247847

Publisher: Academic Press, 2014

Notes and Reports in Mathematics in Science and Engineering, Volume 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.

"synopsis" may belong to another edition of this title.