Tags
Language
Tags
<<
May 2025
Su Mo Tu We Th Fr Sa
27 28 29 30 1 2 3
4 5 6 7 8 9 10
11 12 13 14 15 16 17
18 19 20 21 22 23 24
25 26 27 28 29 30 31
    Attention❗ To save your time, in order to download anything on this site, you must be registered 👉 HERE. If you do not have a registration yet, it is better to do it right away. ✌

    ( • )( • ) ( ͡⚆ ͜ʖ ͡⚆ ) (‿ˠ‿)
    SpicyMags.xyz
    1. Home
    2. eBooks & eLearning
    3. C++ Toolbox for Verified Computing: Theory, Algorithms, and Programs, Volume 1: Basic Numerical Problems (Repost)

    C++ Toolbox for Verified Computing: Theory, Algorithms, and Programs, Volume 1: Basic Numerical Problems (Repost)

    Posted By: bookwyrm
    Date: 2 Jun 2014 09:26:50
    C++ Toolbox for Verified Computing: Theory, Algorithms, and Programs, Volume 1: Basic Numerical Problems (Repost)

    C++ Toolbox for Verified Computing: Theory, Algorithms, and Programs, Volume 1: Basic Numerical Problems By Rolf Hammer, Matthias Hocks, Ulrich Kulisch, Dietmar Ratz
    1995 | 382 Pages | ISBN: 3642796532 | PDF | 13 MB


    This C++ Toolbox for Verified Computing presents an extensive set of sophisticated tools for solving basic numerical problems with verification of the results. It is the C++ edition of the Numerical Toolbox for Verified Computing which was based on the computer language PASCAL-XSC. The sources of the programs in this book are freely available via anonymous ftp. This book offers a general discussion on arithmetic and computational reliability, analytical mathematics and verification techniques, algorithms, and (most importantly) actual C++ implementations. In each chapter, examples, exercises, and numerical results demonstrate the application of the routines presented.


    keep2share

    UPWARDS