Scientific computing and validated numerics : proceedings of the International Symposium on Scientific Computing, Computer Arithmetic and Validated Numerics SCAN-95 held in Wuppertal, Germany, September 26-29, 1995
著者
書誌事項
Scientific computing and validated numerics : proceedings of the International Symposium on Scientific Computing, Computer Arithmetic and Validated Numerics SCAN-95 held in Wuppertal, Germany, September 26-29, 1995
(Mathematical research = Mathematische Forschung, v. 90)
Akademie Verlag, c1996
- タイトル別名
-
Scientific computing and validated numerics
大学図書館所蔵 件 / 全9件
-
該当する所蔵館はありません
- すべての絞り込み条件を解除する
注記
"The International Symposium on Scientific Computing, Computer Arithmetic, and Validated Numerics SCAN is held biannually, the forth conference took place in Wuppertal 1995"--p. [4] of cover
Includes bibliographical references
内容説明・目次
内容説明
This collection of papers on scientific computing with validation covers the design of floating point units, algorithms for floating point operations, and elementary function evaluations with maximum accuracy. Scientific computing methods are discussed for areas of applied mathematics such as numerical linear algebra, nonlinear equations, global optimization, ordinary and partial differential equations and dynamical systems. Some computer science aspects like complexity are also considered, as are examples where validation methods have successfully been used in applications from the engineering sciences.
目次
- Partial table of contents:
- HARDWARE AND FLOATING POINT OPERATIONS
- Hardware Reciprocal Table Compression/Decompression Techniques (D. Sarma & D. Matula)
- Hardware Support for Interval Arithmetic (J. von Gudenberg)
- FUNCTION EVALUATION
- Shared Computations for Efficient Interval Function Evaluation ( E. Hyvvnen & S. De Pascale)
- Computing Narrow Inclusions for Cauchy Principal Value Integrals (W. Krdmer & S. Wedner)
- SOFTWARE
- Processing Software Metrics in an Integrated Development Environment for Pascal-XSC (H. Berlejung)
- LINEAR ALGEBRA
- Success in Epsilon-Inflation (G. Mayer)
- NONLINEAR EQUATIONS
- Effective Improvements of the Interval-Newton-Method (G. Alefeld, et al.)
- On the Application of an Interval Algorithm for Set Inversion (M. Candev)
- A Parallel Algorithm for Enclosing All Zeros of a Nonlinear System of Equations (A. Wiethoff)
- OPTIMIZATION
- A Parallel Method for Verified Global Optimization (S. Berner)
- DIFFERENTIAL EQUATIONS
- Validating an A Priori Enclosure Using High-Order Taylor Series (G. Corliss & R. Rihm)
- Inheritable Properties and Computer Assisted Proofs in Dynamics (M. Mrozek)
- COMPLEXITY AND THEORY OF INTERVAL PROBLEMS
- On the Foundations of Interval Arithmetic (S. Markov)
- APPLICATIONS IN ENGINEERING
- Application of Automatic Differentiation Techniques to Circuit Simulation (H.-J. Dobner & W. Klein).
「Nielsen BookData」 より