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.
Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.