Numerical Toolbox for Verified Computing I: Basic Numerical Problems Theory, Algorithms, and Pascal-XSC Programs: 21 (Springer Series in Computational Mathematics, 21) - Image 1

£77.68

Springer Numerical Toolbox for Verified Computing I: Basic Numerical Problems Theory, Algorithms, and Pascal-XSC Programs: 21 (Springer Series in Computational Mathematics, 21)

Name: Numerical Toolbox for Verified Computing I: Basic Numerical Problems Theory, Algorithms, and Pascal-XSC Programs: 21 (Springer Series in Computational Mathematics, 21)
Brand: Springer
Price: 77.68 GBP
Availability: InStock

Introduction to Programming

This is the usual price. Wait for it to drop, or tell us your number.

£78 today · usual range £0–£0 · best ever £73

NEW HERE?

Amazon shows you one price. We show you all of them.

Tosheroon watches Amazon prices so you don't have to. Every product on Amazon has a price history — we make it visible. Set the price you'd actually pay, and we'll email you the second it gets there. No app, no account, one email.

WHAT'S ON THIS PAGE

↓ Price chart
when this has been cheap or pricey

↓ Forecast
where the price is heading next

↓ Statistics
all-time high & low, recent range

↑ Price alert
name your number, we'll email you

Price History & Forecast

Grey patches = out of stock. Cheaper = lower on the chart. Hover for exact prices.

Last 617 days • 617 data points (No recent data available)

Historical

Generating forecast...

Price Distribution

Price distribution over 617 days • 4 price levels

Days at Price

Current Price

Price Analysis

Most common price: £73 (306 days, 49.6%)

Price range: £73 - £80

Price levels: 4 different prices over 617 days

Description

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.

Product Specifications

Brand: Springer
Format: paperback
ASIN: 3642784259
Category: Books > Subjects > Computing & Internet > Programming > Introduction to Programming
Domain: Amazon UK
Release Date: 08 December 2011
Listed Since: 13 July 2012

Barcode

No barcode data available

Springer Numerical Toolbox for Verified Computing I: Basic Numerical Problems Theory, Algorithms, and Pascal-XSC Programs: 21 (Springer Series in Computational Mathematics, 21)

This is the usual price. Wait for it to drop, or tell us your number.

Price History & Forecast

Price Distribution

Price Analysis

Description

Product Specifications

Barcode

Similar Products You Might Like

Numerical Computation in Science and Engineering

Numerical Methods for Scientists and Engineers: With Pseudocodes (Chapman & Hall/CRC Numerical Analysis and Scientific Computing Series)

Numerical Analysis: 181 (Graduate Texts in Mathematics, 181)

Introduction to Numerical Programming: A Practical Guide for Scientists and Engineers Using Python and C/C++ (Series in Computational Physics)

Compact Numerical Methods for Computers: Linear Algebra and Function Minimisation

Numerical Analysis: A Second Course: 3 (Classics in Applied Mathematics, Series Number 3)

Numerical Mathematics and Advanced Applications: Proceedings of ENUMATH 2007, the 7th European Conference on Numerical Mathematics and Advanced Applications, Graz, Austria, September 2007

A Concise Introduction to Numerical Analysis

Introduction to Numerical Programming: A Practical Guide for Scientists and Engineers Using Python and C/C++ (Series in Computational Physics)

Domain Decomposition Methods in Science and Engineering XXI: 98 (Lecture Notes in Computational Science and Engineering, 98)

Domain Decomposition Methods in Science and Engineering XXI: 98 (Lecture Notes in Computational Science and Engineering, 98)

Accuracy Verification Methods: Theory and Algorithms: 32 (Computational Methods in Applied Sciences, 32)

Scientific and Engineering Computations for the 21st Century - Methodologies and Applications: Proceedings of the 15th Toyota Conference

Recent Developments in Structure-Preserving Algorithms for Oscillatory Differential Equations

Recent Developments in Structure-Preserving Algorithms for Oscillatory Differential Equations

Applied Scientific Computing: With Python (Texts in Computer Science)

Advances in Numerical Analysis Emphasizing Interval Data

Numerical Analysis

Mathematics for Large Scale Computing: 120 (Lecture Notes in Pure and Applied Mathematics)

Scientific Computing: Vol. III - Approximation and Integration: 20 (Texts in Computational Science and Engineering, 20)

A History of Numerical Analysis from the 16th through the 19th Century: 2 (Studies in the History of Mathematics and Physical Sciences, 2)

Scientific Computing: Vol. I - Linear and Nonlinear Equations: 18 (Texts in Computational Science and Engineering, 18)

New Sinc Methods of Numerical Analysis: Festschrift in Honor of Frank Stenger's 80th Birthday (Trends in Mathematics)

Numerical Methods for Nonlinear Engineering Models