Numerical Toolbox for Verified Computing: Basic Numerical Problems Theory, Algorithms, and Pascal-XSC Programs: I
List Price: $99.00
Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Binding: Trade Paper
Size: 7.48" wide x 61.42" long x 92.13" tall
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 the routines presented. It is not More...
100% Money Back Guarantee: Wrong item? No problem! Our hassle-free
returns policy has you covered.
We'll also process your order within 1-2 business days. Learn more about our