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

Hammer, Rolf, Hocks, Matthias, Kulisch, Ulrich, Ratz, Dietma

ISBN 10: 3642784259 / ISBN 13: 9783642784255

Edité par Springer, 2011

A propos de cet article

Like New.

N° de réf. du vendeur ERICA79636427842596

Détails bibliographiques

• Titre: Numerical Toolbox for Verified Computing I: Basic Numerical Problems Theory, Algorithms, and Pascal-XSC Programs (Springer Series in Computational Mathematics, 21)
• Éditeur: Springer
• Date de parution: 2011
• Langue: anglais
• ISBN à 10 chiffres: 3642784259
• ISBN à 13 chiffres: 9783642784255
• Reliure: Paperback
• État de l'article: Like New
• Type de livre: book

A propos de ce titre

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.