Mathematics of Computing -- Numerical Analysis.

This book highlights recent research on interval methods for solving nonlinear constraint satisfaction, optimization and similar problems. Further, it presents a comprehensive survey of applications in various branches of robotics, artificial intelligence systems, economics, control theory, dynamical systems theory, and others. Three appendices, on the notation, representation of numbers used as intervals’ endpoints, and sample implementations of the interval data type in several programming languages, round out the coverage.

This book treats an important set of techniques that provide a mathematically rigorous and complete error analysis for computational results. It shows that interval analysis provides a powerful set of tools with direct applicability to important problems in scientific computing.

Nonlinear equations arise in essentially every branch of modern science, engineering, and mathematics. However, in only a very few special cases is it possible to obtain useful solutions to nonlinear equations via analytical calculations. As a result, many scientists resort to computational methods. This book contains the proceedings of the Joint AMS-SIAM Summer Seminar, ``Computational Solution of Nonlinear Systems of Equations,'' held in July 1988 at Colorado State University. The aim of the book is to give a wide-ranging survey of essentially all of the methods which comprise currently active areas of research in the computational solution of systems of nonlinear equations. A number of ``entry-level'' survey papers were solicited, and a series of test problems has been collected in an appendix. Most of the articles are accessible to students who have had a course in numerical analysis.

An update on the author's previous books, this introduction to interval analysis provides an introduction to INTLAB, a high-quality, comprehensive MATLAB toolbox for interval computations, making this the first interval analysis book that does with INTLAB what general numerical analysis texts do with MATLAB.

This book is revised and expanded version of the original German text. The arrangement of the material and the structure are essentially unchanged. All remarks in the Preface to the German Edition regarding naming conventions for formulas, theorems, lemmas, and definitions are still valid as are those concerning the arrangement and choice of material.

Perspectives in Computing, Vol. 19: Reliability in Computing: The Role of Interval Methods in Scientific Computing presents a survey of the role of interval methods in reliable scientific computing, including vector arithmetic, language description, convergence, and algorithms. The selection takes a look at arithmetic for vector processors, FORTRAN-SC, and reliable expression evaluation in PASCAL-SC. Discussions focus on interval arithmetic, optimal scalar product, matrix and vector arithmetic, transformation of arithmetic expressions, development of FORTRAN-SC, and language description with examples. The text then examines floating-point standards, algorithms for verified inclusions, applications of differentiation arithmetic, and interval acceleration of convergence. The book ponders on solving systems of linear interval equations, interval least squares, existence of solutions and iterations for nonlinear equations, and interval methods for algebraic equations. Topics include interval methods for single equations, diagnosing collinearity, interval linear equations, effects of nonlinearity, and bounding the solutions. The publication is a valuable source of data for computer science experts and researchers interested in the role of interval methods in reliable scientific computing.