9780792360575

The present volume contains 30 articles presented at SCAN-98, Budapest, Hungary. These papers cover all aspects of validation techniques in scientific computing, ranging from hardware requirements, elementary operations, high accuracy function evaluations and interval arithmetic to advanced validating techniques and applications in various fields of practical interest. Audience : This book is of interest to researchers and graduate students whose work involves validation techniques in scientific computing.

Rigorous Global Search: Industrial Applications	p. 1
Influences of Rounding Errors in Solving Large Sparse Linear Systems	p. 17
A Hardware Approach to Interval Arithmetic for Sine and Cosine Functions	p. 31
Towards an Optimal Control of the Wrapping Effect	p. 43
On Existence and Uniqueness of Solutions of Linear Algebraic Equations in Kaucher's Interval Arithmetic	p. 53
A Comparison of Subdivision Strategies for Verified Multi-Dimensional Gaussian Quadrature	p. 67
INTLAB - INTerval LABoratory	p. 77
Verified Calculation of the Solution of Algebraic Riccati Equation	p. 105
Expression Concepts in Scientific Computing	p. 119
Performance Evaluation Technique STU and libavi Library	p. 131
Single-Number Interval I/O	p. 141
Interval Analysis for Embedded Systems	p. 149
Prediction by Extrapolation for Interval Tightening Methods	p. 159
The Contribution of T. Sunaga to Interval Analysis and Reliable Computing	p. 167
Surface-to-Surface Intersection with Complete and Guaranteed Results	p. 189
An Algorithm that Computes a Lower Bound on the Distance Between a Segment and Z[superscript 2]	p. 203
Comparing Partial Consistencies	p. 213
Verified Computation of Fast Decreasing Polynomials	p. 229
An Accurate Distance-Calculation Algorithm for Convex Polyhedra	p. 241
Verified Error Bounds for Linear Systems through the Lanczos Process	p. 255
A Representation of the Interval Hull of a Tolerance Polyhedron Describing Inclusions of Function Values and Slopes	p. 269
A Few Results on Table-Based Methods	p. 279
An Interval Hermite-Obreschkoff Method for Computing Rigorous Bounds on the Solution of an Initial Value Problem for an Ordinary Differential Equation	p. 289
The Interval-Enhanced GNU Fortran Compiler	p. 311
Outer Estimation of Generalized Solution Sets to Interval Linear Systems	p. 323
A Real Polynomial Decision Algorithm Using Arbitrary-Precision Floating Point Arithmetic	p. 337
A Numerical Verification Method of Solutions for the Navier-Stokes Equations	p. 347
Convex Sets of Full Rank Matrices	p. 359
Multiaspect Interval Types	p. 365
MATLAB-Based Analysis of Roundoff Noise	p. 373
SCAN-98 Collected Bibliography	p. 383
Table of Contents provided by Blackwell. All Rights Reserved.

Supplemental Materials

What is included with this book?

The New copy of this book will include any supplemental materials advertised. Please check the title of the book to determine if it should include any access cards, study guides, lab manuals, CDs, etc.

The Used, Rental and eBook copies of this book are not guaranteed to include any supplemental materials. Typically, only the book itself is included. This is true even if the title states it includes any access cards, study guides, lab manuals, CDs, etc.

Amazon no longer offers textbook rentals. We do!

Amazon no longer offers textbook rentals. We do!

We're the #1 textbook rental company. Let us show you why.

Developments in Reliable Computing

0792360575

Supplemental Materials

Summary

Table of Contents

Supplemental Materials

Rewards Program