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