Validation Numerics : theory and applications
著者
書誌事項
Validation Numerics : theory and applications
（Computing supplementum, 9）
Springer-Verlag, c1993
- : au
- : us
大学図書館所蔵 件 / 全11件
-
該当する所蔵館はありません
- すべての絞り込み条件を解除する
注記
"Dedicated to Professor Dr. Ulrich Kulisch, Director of the Institute for Applied Mathematics of Karlsruhe University, on the occassion of his 60th birthday"--Pref
Includes bibliographical references
内容説明・目次
内容説明
The articles in this book give a comprehensive overview on the whole field of validated numerics. The problems covered include simultaneous systems of linear and nonlinear equations, differential and integral equations and certain applications from technical sciences. Furthermore some papers which improve the tools are included. The book is a must for scientists working in numerical analysis, computer science and in technical fields.
目次
On a Unified Concept of Mathematics.- A General Approach to a Class of Single-Step Methods for the Simultaneous Inclusion of Polynomial Zeros.- On Some Properties of an Interval Newton Type Method and its Modification.- Verified Solution of the Integral Equations for the Two-Dimensional Dirichlet and Neumann Problem.- Two-Stage Interval Iterative Methods.- Convergence Acceleration for Some Rootfinding Methods.- A Program for Enclosing Cumulative Binomial Probabilities.- Effective Evaluation of Hausdorff Distances for Finite Unions of Hyperrectangles.- A Verified Computation of Fourier-Representations of Solutions for Functional Equations.- The Cluster Problem in Global Optimization: The Univariate Case.- Developing Expert Systems for Validating Numerics.- Computation of Interval Bounds for Weierstrass' Elliptic Function ? (z).- Solving Nonlinear Elliptic Problems with Result Verification Using an H-1 Type Residual Iteration.- The Wrapping Effect, Ellipsoid Arithmetic, Stability and Confidence Regions.- Validated Solution of Large Linear Systems.- The Interval Buneman Algorithm for Arbitrary Block Dimension.- On the Existence and the Verified Determination of Homoclinic and Heteroclinic Orbits of the Origin for the Lorenz Equations.- Verification in Computer Algebra Systems.- FORTRAN-XSC. A Portable Fortran 90 Module Library for Accurate and Reliable Scientific Computing.- Implementation of Accurate Matrix Multiplication on the CM-2.
「Nielsen BookData」 より
