Descriptions C++ Toolbox for Verified Computing I: Basic Numerical Problems Theory, Algorithms, and Programs Free Online
Numerical Toolbox for Verified Computing: I This book presents an extensive set of sophisticated tools to solve numerical problems with a verification of the results using the features of the scientific computer language PASCAL-XSC. The overriding concern of this book is reliability - the automatic verification of the result a computer returns for a given problem. This book is the first to offer a general discussion on arithmetic and computational reliability, analytical mathematics and verification techniques, algorithms, and (most importantly) actual implementations in the form of working computer routines. In each chapter, examples, exercises, and numerical results demonstrate the application of th..., Good Books To Read 2016 .
CLICK HERE TO DOWNLOAD THIS BOOK FOR FREE