Free delivery for orders over 69.99€

Check order status

Become part of a community of book lovers from all over the world and get access to a whole bunch of benefits. Create an account for free

Free delivery for purchases over 69.99 €

Speedy courier 3.49 € Speedy point 3.49 € Еконт courier 3.99 € Еконтомат/Офис на Еконт 3.99 € Ekont Box 3.99 € Sameday courier 3.99 € Sameday Box 3.99 € Box Now 3.99 €

Contact

How to shop

Help

My account

▸ Empty :-(

Free delivery for orders over 69.99€

Numerical Toolbox for Verified Computing I

Name: Numerical Toolbox for Verified Computing I
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 06902567
Price: 108.87 EUR
Availability: InStock
Author: Rolf Hammer
ISBN: 9783642784255

Basic Numerical Problems Theory, Algorithms, and Pascal-XSC Programs

Language

English

Book Paperback

Libristo code: 06902567

Publishers Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, December 2011

As suggested by the title of this book Numerical Toolbox for Verified Computing, we present an exten... Full description

Libristo code: 06902567

263 b

108.87 €

212.94 лв

In stock at our supplier Shipping in 5-8 days

Up to 30 days for returns

Customers also purchased

Le Climat est un sport de combat Laurence Tubiana

Paperback

27.28 € 53.35 лв

Politiche e politiche di riforma agraria in India - uno studio sull'Odisha Bishnu Prasad Mohapatra

Paperback

58.56 € 114.53 лв

Schatten Michael Giersch

Paperback

16.28 € 31.85 лв

Jane Birkin - A fleur de peau Frédéric Quinonero

Paperback

27.28 € 53.35 лв

Les Nouveaux Cahiers - HISTOIRE-GEOGRAPHIE-EMC CAP - Ed. 2023 - Livre élève Olivier Apollon

Paperback

26.50 € 51.83 лв

Espoir Djaïli Amadou Amal

Paperback

28.37 € 55.48 лв

Die Verbrechen der Anderen. Kriminaldauerdienst: Team Ost-West Uve Teschner

Digital

21.73 € 42.50 лв

PAUL, UN CASSEUR DEVENU APÔTRE Exbrayat

Paperback

7.93 € 15.51 лв

Miasto Tarnow: Pod Wzgledem Historycznym, Statystycznym, Topograficznym I Naukowym (1831) Wincenty Balicki

Paperback

25.10 € 49.09 лв

Historie Du Long-Parlemen V1: Convoque Par Charles 1 En 1640 (1827) Thomas May

Paperback

43.10 € 84.30 лв

Von Der Kundenorientierung zum Supply Management Heinrich Orths

Paperback

54.98 € 107.53 лв

Composition Multi-Perspective Et Centr e Exigences de Services Web Maha Driss

Paperback

46.47 € 90.89 лв

Un viaggio a Roma senza vedere il Papa Giovanni Faldella

Paperback

9.44 € 18.45 лв

La Mucama de Omicunle Hernandez Rita Indiana 1977

Paperback

18.51 € 36.21 лв

Geld Oder Gülle Thomas Freitag

Audio CD

16.65 € 32.56 лв

Que Es el Ciclo de Vida? = What Is a Life Cycle? Bobbie Kalman

Hardback

29.61 € 57.92 лв

As suggested by the title of this book Numerical Toolbox for Verified Computing, we present an extensive set of sophisticated tools to solve basic numerical problems with a verification of the results. We use the features of the scientific computer language PASCAL-XSC to offer modules that can be combined by the reader to his/her individual needs. Our overriding concern is reliability - the automatic verification of the result a computer returns for a given problem. All algorithms we present are influenced by this central concern. We must point out that there is no relationship between our methods of numerical result verification and the methods of program verification to prove the correctness of an imple~entation for a given algorithm. 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. Our task has been to find the right balance among these ingredients for each topic. For some topics, we have placed a little more emphasis on the algorithms. For other topics, where the mathematical prerequisites are universally held, we have tended towards more in-depth discussion of the nature of the computational algorithms, or towards practical questions of implementation. For all topics, we present exam ples, exercises, and numerical results demonstrating the application of the routines presented.