Developments in Reliable Computing

Preface. Rigorous Global Search: Industrial Applications; G.F. Corliss, R.B. Kearfott. Influences of Rounding Errors in Solving Large Sparse Linear Systems; A. Facius. A Hardware Approach to Interval Arithmetic for Sine and Cosine Functions; J. Hormigo, et al. Towards an Optimal Control of the Wrapping Effect; W. Kuhn. On Existence and Uniqueness of Solutions of Linear Algebraic Equations in Kaucher's Interval Arithmetic; A.V. Lakeyev. A Comparison of Subdivision Strategies for Verified Multi-Dimensional Gaussian Quadrature; B. Lang. INTLAB - INTerval LABoratory; S.M. Rump. Verified Calculation of the Solution of Algebraic Riccati Equation; W. Luther, W. Otten. Expression Concepts in Scientific Computing; M. Lerch. Performance Evaluation Technique STU and libavi Library; R. Sagula, et al. Single-Number Interval I/O; M. Schulte, et al. Interval Analysis for Embedded Systems; K. Musch, G. Schumacher. Prediction by Extrapolation for Interval Tightening Methods; Y. Lebbah, O. Lhomme. The Contribution of T. Sunaga to Interval Analysis and Reliable Computing; S. Markov, K. Okumura. Surface-to-Surface Intersection with Complete and Guaranteed Results; E. Hubert, W. Barth. An Algorithm that Computes a Lower Bound on the Distance Between a Segment and Z2; V. Lefevre. Verified Computation of Fast Decreasing Polynomials; N.S. Dimitrova, S.M. Markov. An Accurate Distance-Calculation Algorithm for Convex Polyhedra; E. Dyllong, et al. Verified Error Bounds for Linear Systems through the Lanczos Process; A. Frommer, A. Weinberg. A Representation of the Interval Hull of a Tolerance Polyhedron Describing Inclusions of Function Values and Slopes; G. Heindl. A Few Results on Table-Based Methods; J.-M. Muller. An Interval Hermite-Obreschkoff Method for Computing Rigorous Bounds on the Solution of an Initial Value Problem for an Ordinary Differential Equation; N.S. Nedialkov, K.R. Jackson. The Interval-Enhanced GNU Fortran Compiler; M. Schulte, et al. Outer Estimation of Generalized Solution Sets to Interval Linear Systems; S.P. Shary. A Real Polynomial Decision Algorithm Using Arbitrary-Precision Floating Point Arithmetic; A. Strzebonski. A Numerical Verification Method of Solutions for the Navier-Stokes Equations; Y. Watanabe, et al. Convex Sets of Full Rank Matrices; B. Kolodziejczak, T. Szulc. Multiaspect Interval Types; M. Lerch, J.W. von Gudenberg. MATLAB-Based Analysis of Roundoff Noise; R. Dunay, I. Kollar. SCAN-98 Collected Bibliography; G.F. Corliss.