You are here

Back to top

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

Numerical Toolbox for Verified Computing I: Basic Numerical Problems Theory, Algorithms, and Pascal-Xsc Programs Cover Image
Email or call for price

Description


This book presents an extensive set of tools for solving basic numerical problems with verification of the results using the scientific computer language PASCAL-XSC. It contains implementations of algorithms and many examples and exercises. Some topics covered are usually not found in standard numerical analysis texts. It is written for engineers, mathematicians and scientists working in scientific computing.

Product Details
ISBN: 9783642784255
ISBN-10: 3642784259
Publisher: Springer
Publication Date: December 8th, 2011
Pages: 339
Language: English
Series: Springer Series in Computational Mathematics