Reliability in Computing. The Role of Interval Methods in Scientific Computing

Content: 
Inside Front Cover, Page ii
Front Matter, Page iii
Copyright, Page iv
Contributors, Pages ix-xi
Preface, Pages xiii-xiv
Acknowledgments, Page xv
ARITHMETIC FOR VECTOR PROCESSORS, Pages 3-41, R. Kirchner, U. Kulisch
FORTRAN-SC A FORTRAN Extension for Engineering/Scientific Computation with Access to ACRITH: Language Description with Examples, Pages 43-62, Wolfgang Walter
FORTRAN-SC A FORTRAN Extension for Engineering/Scientific Computation with Access to ACRITH: Demonstration of the Compiler and Sample Programs, Pages 63-79, Michael Metzger
Reliable Expression Evaluation in PASCAL-SC, Pages 81-97, Jürgen Wolff von Gudenberg
Floating-Point Standards — Theory and Practice, Pages 99-107, W.J. Cody
Algorithms for Verified Inclusions: Theory and Practice, Pages 109-126, Siegfried M. Rump
Applications of Differentiation Arithmetic, Pages 127-148, George F. Corliss
INTERVAL ACCELERATION OF CONVERGENCE, Pages 151-169, Karl Nickel
SOLVING SYSTEMS OF LINEAR INTERVAL EQUATIONS, Pages 171-182, J. Rohn
Interval Least Squares — a Diagnostic Tool, Pages 183-205, David M. Gay
Existence of Solutions and Iterations for Nonlinear Equations, Pages 207-227, G. Alefeld
INTERVAL METHODS FOR ALGEBRAIC EQUATIONS, Pages 229-248, M.A. Wolfe
Error Questions in the Computation of Solution Manifolds of Parametrized Equations, Pages 249-267, Werner C. Rheinboldt
THE ENCLOSURE OF SOLUTIONS OF PARAMETER-DEPENDENT SYSTEMS OF EQUATIONS, Pages 269-286, A. Neumaier
AN OVERVIEW OF GLOBAL OPTIMIZATION USING INTERVAL ANALYSIS, Pages 289-307, Eldon Hansen
Philosophy and Practicalities of Interval Arithmetic, Pages 309-323, G. William Walster
SOME RECENT ASPECTS OF INTERVAL ALGORITHMS FOR GLOBAL OPTIMIZATION, Pages 325-339, Helmut Ratschek
The Use of Interval Arithmetic in Uncovering Structure of Linear Systems, Pages 341-353, WELDON A. LODWICK
THE ROLE of ORDER in COMPUTING, Pages 357-378, Garrett Birkhoff
INTERVAL METHODS FOR OPERATOR EQUATIONS, Pages 379-389, R.E. MOORE, Shen Zuhe
Boundary Implications for Stability Properties: Present Status, Pages 391-402, J. Garloff, N.K. Bose
VALIDATING COMPUTATION IN A FUNCTION SPACE, Pages 403-425, Edgar Kaucher, Willard L. Miranker
Epilogue: A Poem about My Life, Pages 427-428, Daniel J. Langton
Perspectives in Computing, Pages ibc1-ibc2