Lectures on Finite Precision Computations (Software, Environments, and Tools)

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 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.