Computer Arithmetic and Self-Validating Numerical Methods

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