Lectures on Finite Precision Computations

Front Cover
SIAM, 1996 - Mathematics - 235 pages
0 Reviews
Devoted to the assessment of the quality of numerical results produced by computers, this book addresses the question: How does finite precision affect the convergence of numerical methods on the computer when convergence has been proven in exact arithmetic? Finite precision computations are at the heart of the daily activities of many engineers and researchers in all branches of applied mathematics. Written in an informal style, the book combines techniques from engineering and mathematics to describe the rigorous and novel theory of computability in finite precision. In the challenging cases of nonlinear problems, theoretical analysis is supplemented by software tools to explore the stability on the computer. Roundoff errors are often considered negatively, as a severe limitation on the purity of exact computations. The authors show how the necessarily finite precision of the computer arithmetic can be turned into an asset to describe physical phenomena.

What people are saying - Write a review

We haven't found any reviews in the usual places.

Other editions - View all

References to this book

All Book Search results »

About the author (1996)

Francoise Chatelin is Professor of Mathematics at the University of Toulouse and head of the Qualitative Computing Group at CERFACS. Before moving to CERFACS, she was a professor at the universities of Grenoble and Paris IX Dauphine. She also worked for a decade in the industrial research laboratories of IBM France and Thales, where she was in charge of intensive computing activities. Her areas of expertise include spectral theory for linear operators in Banach spaces and finite precision computation of very large eigenproblems. She currently explores the uncharted domain of mathematical computation that lies beyond real or complex analysis.

Bibliographic information