Numerical Toolbox for Verified Computing I

Hocks Matthias Hammer Rolf Kulisch Ulrich

ISBN 10: 3642784259 / ISBN 13: 9783642784255

Published by Springer, 2011

About this Item

PRINT ON DEMAND pp. 364.

Seller Inventory # 1858572768

Bibliographic Details

• Title: Numerical Toolbox for Verified Computing I
• Publisher: Springer
• Publication Date: 2011
• Language: English
• ISBN 10: 3642784259
• ISBN 13: 9783642784255
• Binding: Soft cover
• Condition: New

About this title

Synopsis

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.