Computer Arithmetic and Self-Validating
β Christian Ullrich
π Library
π
1990
π Academic Pr
π English
β¦ LIBER β¦
π
Computer Arithmetic and Self-Validating Numerical Methods
β Scribed by Christian Ullrich
- Publisher
- Elsevier Inc, Academic Press
- Year
- 1990
- Tongue
- English
- Leaves
- 305
- Series
- Notes and Reports in Mathematics in Science and Engineering
- Category
- Library
β¬ Acquire This Volume
No coin nor oath required. For personal study only.
β¦ Table of Contents
Content:
Front Matter, Page iii
Copyright, Page iv
Contributors, Pages vii-viii
Preface, Pages ix-x
Acknowledgments, Page xi
What Do We Need Beyond IEEE Arithmetic ?, Pages 1-32, G. Bohlender
Chips for High Precision Arithmetic, Pages 33-54, K. Hafner, Siemens AG
Enclosure Methods, Pages 55-72, G. Alefeld
Differentiation Arithmetics, Pages 73-90, L.B. Rall
Industrial Applications of Interval Techniques, Pages 91-113, G.F. Corliss
Programming Languages for Enclosure Methods, Pages 115-136, C. Ullrich
The Determination of Guaranteed Bounds to Eigenvalues with the Use of Variational Methods I, Pages 137-153, Friedrich Goerisch, Zhiqing He
The Determination of Guaranteed Bounds to Eigenvalues with the Use of Variational Methods II, Pages 155-170, Henning Behnke
Validated Solution of Initial Value Problems for ODE, Pages 171-187, Hans J. Stetter
Guaranteed Inclusions of Solutions of some Types of Boundary Value Problems, Pages 189-198, L. Collatz
Periodic Solutions: Enclosure, Verification, and Applications, Pages 199-245, E. Adams
Numerical Algorithms for Existence Proofs and Error Estimates for Two-Point Boundary Value Problems, Pages 247-268, Johann SchrΓΆder
Aspects of Self-Validating Numerics in Banach Spaces, Pages 269-299, E. Kaucher, C. Schulz-Rinne
INTERNATIONAL ASSOCIATION FOR MATHEMATICS AND COMPUTERS IN SIMULATION (IMACS), Pages 301-302
NOTES AND REPORTS IN MATHEMATICS IN SCIENCE AND ENGINEERING, Page fbc1
π SIMILAR VOLUMES
Interval Arithmetic: Accurate Self-valid
β Hend Dawood
π Library
π
2007
π English
Interval Arithmetic: Accurate Self-valid
β Hend Dawood
π Library
π
2007
π English
Scientific Computing, Validated Numerics
β G. William Walster (auth.), Walter KrΓ€mer, JΓΌrgen Wolff von Gudenberg (eds.)
π Library
π
2001
π Springer US
π English
<p>Scan 2000, the GAMM - IMACS International Symposium on Scientific Computing, Computer Arithmetic, and Validated Numerics and Interval 2000, the International Conference on Interval Methods in Science and Engineering were jointly held in Karlsruhe, September 19-22, 2000. The joint conference conti
Computer Arithmetic and Validity: Theory
β Kulisch, Ulrich
π Library
π
2008
π De Gruyter
π English
The present book deals with the theory of computer arithmetic, its implementation on digital computers and applications in applied mathematics to compute highly accurate and mathematically verified results.?Β The aim is to improve the accuracy of numerical computing (by implementing advanced computer
Computer arithmetic and validity: Theory
β Kulisch U.
π Library
π
2013
π de Gruyter
π English
This is the revised and extended second edition of the successful basic book on computer arithmetic. It is consistent with the newest recent standard developments in the field. The book shows how the arithmetic capability of the computer can be enhanced. The work is motivated by the desire and the n