Covers all aspects of scientific computing with validation, including hardware requirements, elementary operations, high accuracy function evaluations, interval arithmetic, advanced validating numerical techniques, and applications in various fields of practical interest. Among the 40 specific topics are validation techniques in the analysis of dynamical systems, parallel validating algorithms, systems of linear and nonlinear equations and global optimization, complexity results for problems with uncertain data, methods for ordinary and partially differential equations, and applications to the design of electric circuits and liquid crystal displays. No index. Annotation c. by Book News, Inc., Portland, Or.
"synopsis" may belong to another edition of this title.
This volume contains contributions presented at the IMACS-GAMM International Symposium on Numerical Methods and Error Bounds in Oldenburg, Germany, in July 1995. New results on theory and implementation of numerical algorithms for a variety of problems in numerical analysis, applied mathematics and engineering were given with special emphasis on the derivation of error bounds for approximated solutions.
Editors' affiliations:
Götz Alefeld, Professor of Applied Mathematics, University of Karlsruhe; Andreas Frommer, Professor of Applied Computer Science, University of Wuppertal; Bruno Lang, Dr. rer. nat., University of Wuppertal
"About this title" may belong to another edition of this title.
(No Available Copies)
Search Books: Create a WantCan't find the book you're looking for? We'll keep searching for you. If one of our booksellers adds it to AbeBooks, we'll let you know!
Create a Want