Methods and Applications of Error-Free Computation

This book is written as an introduction to the theory of error-free computation. In addition, we include several chapters that illustrate how error-free com­ putation can be applied in practice. The book is intended for seniors and first­ year graduate students in fields of study involving scientific computation using digital computers, and for researchers (in those same fields) who wish to obtain...