|
" Scientific Computation with Automatic Result Verification "
edited by Ulrich Kulisch, Hans J. Stetter.
| Document Type
|
:
|
BL
|
| Record Number
|
:
|
728623
|
| Doc. No
|
:
|
b548375
|
| Main Entry
|
:
|
edited by Ulrich Kulisch, Hans J. Stetter.
|
| Title & Author
|
:
|
Scientific Computation with Automatic Result Verification\ edited by Ulrich Kulisch, Hans J. Stetter.
|
| Publication Statement
|
:
|
Vienna: Springer Vienna, 1988
|
| Series Statement
|
:
|
Computing (Springer-Verlag)., Supplementum ;, 6.
|
| Page. NO
|
:
|
(VIII, 244 pages 22 illustrations)
|
| ISBN
|
:
|
3211820639
|
|
|
:
|
: 3709169577
|
|
|
:
|
: 9783211820636
|
|
|
:
|
: 9783709169575
|
| Contents
|
:
|
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.
|
| Abstract
|
:
|
Scientific Computation with Result Verification has been a persevering research topic at the Institute for Applied Mathematics of Karlsruhe University for many years.
|
| Subject
|
:
|
Computer science.
|
| Subject
|
:
|
Mathematics.
|
| Subject
|
:
|
Microprogramming.
|
| Added Entry
|
:
|
Hans J Stetter
|
|
|
:
|
Ulrich Kulisch
|
| |