عنوان

Scientific Computation with Automatic Result Verification

(Number (ISBN

3211820639

(Number (ISBN

3709169577

(Number (ISBN

9783211820636

(Number (ISBN

9783709169575

Number

b548375

Title Proper

Scientific Computation with Automatic Result Verification

General Material Designation

[Book]

First Statement of Responsibility

edited by Ulrich Kulisch, Hans J. Stetter.

Place of Publication, Distribution, etc.

Vienna

Name of Publisher, Distributor, etc.

Springer Vienna

Date of Publication, Distribution, etc.

1988

Specific Material Designation and Extent of Item

(VIII, 244 pages 22 illustrations)

Series Title

Computing (Springer-Verlag)., Supplementum ;, 6.

Text of Note

Automatic Result Verification --;I. Numerical Methods with Result Verification --;A Method for Producing Verified Results for Two-point Boundary Value Problems --;A Kind of Difference Method for Enclosing Solutions of Ordinary Linear Boundary Value Problems --;A Self-validating Method for Solving Linear Programming Problems with Interval Input Data --;Enclosing the Solutions of Linear Equations by Interval Iterative Processes --;Errorbounds for Quadratic Systems of Nonlinear Equations Using the Precise Scalar Product --;Inclusion of Eigenvalues of General Eigenvalue Problems of Matrices --;Verified Inclusion for Eigenvalues of Certain Difference and Differential Equations --;II. Applications in the Technical Sciences --;VIB --;Verified Inclusions of Critical Bending Vibrations --;Stability Test for Periodic Differential Equations on Digital Computers with Applications --;The Periodic Solutions of the Oregonator and Verification of Results --;On Arithmetical Problems of Geometric Algorithms in the Plane --;III. Improving the Tools --;Precise Evaluation of Polynomials in Several Variables --;Evaluation of Arithmetic Expressions with Guaranteed High Accuracy --;Standard Functions for Real and Complex Point and Interval Arguments with Dynamic Accuracy --;Inverse Standard Functions for Real and Complex Point and Interval Arguments with Dynamic Accuracy --;Inclusion Algorithms with Functions as Data --;FORTRAN-SC. A Study of a FORTRAN Extension for Engineering/Scientific Computation with Access to ACRITH.

Text of Note

Scientific Computation with Result Verification has been a persevering research topic at the Institute for Applied Mathematics of Karlsruhe University for many years.

Computer science.

Mathematics.

Microprogramming.

edited by Ulrich Kulisch, Hans J. Stetter.

Hans J Stetter

Ulrich Kulisch

Electronic name

[Book]

Y