C++ Toolbox for Verified Computing I [electronic resource] : Basic Numerical Problems Theory, Algorithms, and Programs /
This C++ Toolbox for Verified Computing 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. The sources of the programs in this book are freely available via anonymous ftp. This book offers a general discussion on arithmetic and computational reliablility, analytical mathematics and verification techniques, algoriths, and (most importantly) actual C++ implementations. In each chapter, examples, exercises, and numerical results demonstrate the application of the routines presented. The book introduces many computational verification techniques. It is not assumed that the reader has any prior formal knowledge of numerical verification or any familiarity with interval analysis. The necessary concepts are introduced. Some of the subjects that the book covers in detail are not usually found in standard numerical analysis texts.
Main Authors: | , , , , |
---|---|
Format: | Texto biblioteca |
Language: | eng |
Published: |
Berlin, Heidelberg : Springer Berlin Heidelberg,
1995
|
Subjects: | Mathematics., Mathematical analysis., Analysis (Mathematics)., Algorithms., Numerical analysis., Physics., Applied mathematics., Engineering mathematics., Numerical Analysis., Analysis., Appl.Mathematics/Computational Methods of Engineering., Mathematical Methods in Physics., Numerical and Computational Physics., |
Online Access: | http://dx.doi.org/10.1007/978-3-642-79651-7 |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
id |
KOHA-OAI-TEST:179108 |
---|---|
record_format |
koha |
spelling |
KOHA-OAI-TEST:1791082018-07-30T22:58:38ZC++ Toolbox for Verified Computing I [electronic resource] : Basic Numerical Problems Theory, Algorithms, and Programs / Kulisch, Ulrich. author. Hammer, Rolf. author. Hocks, Matthias. author. Ratz, Dietmar. author. SpringerLink (Online service) textBerlin, Heidelberg : Springer Berlin Heidelberg,1995.engThis C++ Toolbox for Verified Computing 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. The sources of the programs in this book are freely available via anonymous ftp. This book offers a general discussion on arithmetic and computational reliablility, analytical mathematics and verification techniques, algoriths, and (most importantly) actual C++ implementations. In each chapter, examples, exercises, and numerical results demonstrate the application of the routines presented. The book introduces many computational verification techniques. It is not assumed that the reader has any prior formal knowledge of numerical verification or any familiarity with interval analysis. The necessary concepts are introduced. Some of the subjects that the book covers in detail are not usually found in standard numerical analysis texts.1 Introduction -- 1.1 Advice for Quick Reading -- 1.2 Structure of the Book -- 1.3 Typography -- 1.4 Algorithmic Notation -- 1.5 Implementation -- 1.6 Computational Environment -- 1.7 Why Numerical Result Verification? -- I Preliminaries -- 2 The Features of C-XSC -- 3 Mathematical Preliminaries -- II One-Dimensional Problems -- 4 Evaluation of Polynomials -- 5 Automatic Differentiation -- 6 Nonlinear Equations in One Variable -- 7 Global Optimization -- 8 Evaluation of Arithmetic Expressions -- 9 Zeros of Complex Polynomials -- III Multi-Dimensional Problems -- 10 Linear Systems of Equations -- 11 Linear Optimization -- 12 Automatic Differentiation for Gradients, Jacobians, and Hessians -- 13 Nonlinear Systems of Equations -- 14 Global Optimization -- A Utility Modules -- A.1 Module r_util -- A.2 Module i_util -- A.3 Module ci_util -- A.4 Module mv_util -- A.5 Module mvi_util -- B Alphabetical List of Modules -- C List of Special Symbols.This C++ Toolbox for Verified Computing 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. The sources of the programs in this book are freely available via anonymous ftp. This book offers a general discussion on arithmetic and computational reliablility, analytical mathematics and verification techniques, algoriths, and (most importantly) actual C++ implementations. In each chapter, examples, exercises, and numerical results demonstrate the application of the routines presented. The book introduces many computational verification techniques. It is not assumed that the reader has any prior formal knowledge of numerical verification or any familiarity with interval analysis. The necessary concepts are introduced. Some of the subjects that the book covers in detail are not usually found in standard numerical analysis texts.Mathematics.Mathematical analysis.Analysis (Mathematics).Algorithms.Numerical analysis.Physics.Applied mathematics.Engineering mathematics.Mathematics.Numerical Analysis.Analysis.Algorithms.Appl.Mathematics/Computational Methods of Engineering.Mathematical Methods in Physics.Numerical and Computational Physics.Springer eBookshttp://dx.doi.org/10.1007/978-3-642-79651-7URN:ISBN:9783642796517 |
institution |
COLPOS |
collection |
Koha |
country |
México |
countrycode |
MX |
component |
Bibliográfico |
access |
En linea En linea |
databasecode |
cat-colpos |
tag |
biblioteca |
region |
America del Norte |
libraryname |
Departamento de documentación y biblioteca de COLPOS |
language |
eng |
topic |
Mathematics. Mathematical analysis. Analysis (Mathematics). Algorithms. Numerical analysis. Physics. Applied mathematics. Engineering mathematics. Mathematics. Numerical Analysis. Analysis. Algorithms. Appl.Mathematics/Computational Methods of Engineering. Mathematical Methods in Physics. Numerical and Computational Physics. Mathematics. Mathematical analysis. Analysis (Mathematics). Algorithms. Numerical analysis. Physics. Applied mathematics. Engineering mathematics. Mathematics. Numerical Analysis. Analysis. Algorithms. Appl.Mathematics/Computational Methods of Engineering. Mathematical Methods in Physics. Numerical and Computational Physics. |
spellingShingle |
Mathematics. Mathematical analysis. Analysis (Mathematics). Algorithms. Numerical analysis. Physics. Applied mathematics. Engineering mathematics. Mathematics. Numerical Analysis. Analysis. Algorithms. Appl.Mathematics/Computational Methods of Engineering. Mathematical Methods in Physics. Numerical and Computational Physics. Mathematics. Mathematical analysis. Analysis (Mathematics). Algorithms. Numerical analysis. Physics. Applied mathematics. Engineering mathematics. Mathematics. Numerical Analysis. Analysis. Algorithms. Appl.Mathematics/Computational Methods of Engineering. Mathematical Methods in Physics. Numerical and Computational Physics. Kulisch, Ulrich. author. Hammer, Rolf. author. Hocks, Matthias. author. Ratz, Dietmar. author. SpringerLink (Online service) C++ Toolbox for Verified Computing I [electronic resource] : Basic Numerical Problems Theory, Algorithms, and Programs / |
description |
This C++ Toolbox for Verified Computing 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. The sources of the programs in this book are freely available via anonymous ftp. This book offers a general discussion on arithmetic and computational reliablility, analytical mathematics and verification techniques, algoriths, and (most importantly) actual C++ implementations. In each chapter, examples, exercises, and numerical results demonstrate the application of the routines presented. The book introduces many computational verification techniques. It is not assumed that the reader has any prior formal knowledge of numerical verification or any familiarity with interval analysis. The necessary concepts are introduced. Some of the subjects that the book covers in detail are not usually found in standard numerical analysis texts. |
format |
Texto |
topic_facet |
Mathematics. Mathematical analysis. Analysis (Mathematics). Algorithms. Numerical analysis. Physics. Applied mathematics. Engineering mathematics. Mathematics. Numerical Analysis. Analysis. Algorithms. Appl.Mathematics/Computational Methods of Engineering. Mathematical Methods in Physics. Numerical and Computational Physics. |
author |
Kulisch, Ulrich. author. Hammer, Rolf. author. Hocks, Matthias. author. Ratz, Dietmar. author. SpringerLink (Online service) |
author_facet |
Kulisch, Ulrich. author. Hammer, Rolf. author. Hocks, Matthias. author. Ratz, Dietmar. author. SpringerLink (Online service) |
author_sort |
Kulisch, Ulrich. author. |
title |
C++ Toolbox for Verified Computing I [electronic resource] : Basic Numerical Problems Theory, Algorithms, and Programs / |
title_short |
C++ Toolbox for Verified Computing I [electronic resource] : Basic Numerical Problems Theory, Algorithms, and Programs / |
title_full |
C++ Toolbox for Verified Computing I [electronic resource] : Basic Numerical Problems Theory, Algorithms, and Programs / |
title_fullStr |
C++ Toolbox for Verified Computing I [electronic resource] : Basic Numerical Problems Theory, Algorithms, and Programs / |
title_full_unstemmed |
C++ Toolbox for Verified Computing I [electronic resource] : Basic Numerical Problems Theory, Algorithms, and Programs / |
title_sort |
c++ toolbox for verified computing i [electronic resource] : basic numerical problems theory, algorithms, and programs / |
publisher |
Berlin, Heidelberg : Springer Berlin Heidelberg, |
publishDate |
1995 |
url |
http://dx.doi.org/10.1007/978-3-642-79651-7 |
work_keys_str_mv |
AT kulischulrichauthor ctoolboxforverifiedcomputingielectronicresourcebasicnumericalproblemstheoryalgorithmsandprograms AT hammerrolfauthor ctoolboxforverifiedcomputingielectronicresourcebasicnumericalproblemstheoryalgorithmsandprograms AT hocksmatthiasauthor ctoolboxforverifiedcomputingielectronicresourcebasicnumericalproblemstheoryalgorithmsandprograms AT ratzdietmarauthor ctoolboxforverifiedcomputingielectronicresourcebasicnumericalproblemstheoryalgorithmsandprograms AT springerlinkonlineservice ctoolboxforverifiedcomputingielectronicresourcebasicnumericalproblemstheoryalgorithmsandprograms |
_version_ |
1756264503589208064 |