C++ Toolbox for Verified Computing I: Basic Numerical Problems Theory, Algorithms, and Programs

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

ISBN 10: 3642796532 / ISBN 13: 9783642796531

Edité par Springer, 2011

A propos de cet article

Like New.

N° de réf. du vendeur ERICA77336427965326

Détails bibliographiques

• Titre: C++ Toolbox for Verified Computing I: Basic Numerical Problems Theory, Algorithms, and Programs
• Éditeur: Springer
• Date de parution: 2011
• Langue: anglais
• ISBN à 10 chiffres: 3642796532
• ISBN à 13 chiffres: 9783642796531
• 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 sophisticated tools for solving basic numerical problems with verification of the results. It is the C++ edition of the Numerical Toolbox for Verified Computing which was based on the computer language PASCAL-XSC (SSCM Vol. 21). The sources of the programs in this book are freely available via anonymous ftp.