Friday, August 21, 2009

Numerical Toolbox for Verified Computing I: Basic Numerical Problems : Theory, Algorithms, and Pascal-Xsc Programs


Numerical Toolbox for Verified Computing I: Basic Numerical Problems : Theory, Algorithms, and Pascal-Xsc Programs (Springer Series in Computational Mathematics): R. Hammer, M. Hocks, U. Kulisch, D. Ratz
Springer | ISBN: 0387571183 | 1993-12 | djvu (ocr) | 360 pages | 5.29 Mb


Numerical Toolbox for Verified Computing presents an extensive set of sophisticated tools to solve basic 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. The book introduces many computational verification techniques. It is not assumed that the reader has any prior formal knowledge of numerical verification or any familiarity with interval analysis. The necessary concepts are introduced. Some of the subjects that the book covers in detail are not usually found in standard numerical analysis texts. This book is intended primarily as a reference text for anyone wishing to apply, modify, or develop routines to obtain mathematically certain and reliable results. It can also be used as a textbook for an advanced course in scientific computation with automatic result verification.

Download:
Link_1
.

0 comments:

Post a Comment | Feed

Post a Comment



Related Posts with Thumbnails
 

Blog Archive

Recent Posts

  © Free E-Books U ask v provide by Free E-Books Download 2012

Disclaimer: This blog does not store any files on its server.We only index and link to content provided by sites.

USER AGREEMENT PLEASE READ : The creator of THIS PAGE or the ISP(s) hosting any content on this site take NO responsibility for the way you use the information provided on this site. These links here are for educational purposes only and SHOULD BE VIEWED ONLY. If you download any files to view them, you are agreeing to delete them within a 24 hour period. If you are affiliated with any government, or ANTI-Piracy group or any other related group or were formally a worker of one you CANNOT enter this web site, cannot access any of its files and you cannot view any of the HTML files. All the objects on this site are PRIVATE property and are meant for previewing only. If you enter this site without following these agreements you are not agreeing to these terms and you are violating code 431.322.12 of the Internet Privacy Act signed by Bill Clinton in 1995 and that means that you CANNOT threaten our ISP(s) or any person(s) or company storing these files, cannot prosecute any person(s) affiliated with this page which includes family, friends or individuals who run or enter this web site. If you want to remove links to your website, Please send an email to professionalstudents[at]gmail[dot]com.