Cover Image
Read Now

Scientific Computation with Automatic Result Verification

Scientific Computation with Result Verification has been a persevering research topic at the Institute for Applied Mathematics of Karlsruhe University for many years. A good number of meetings have been devoted to this area. The latest of these meetings was held from 30 September to 2 October, 1987,...

Full description

Bibliographic Details
Other Authors: Kulisch, Ulrich (Editor), Stetter, Hans J. (Editor)
Format: eBook
Language:English
Published: Vienna Springer Vienna 1988, 1988
Edition:1st ed. 1988
Series:Computing Supplementa
Subjects:
Microprogramming 
Compilers (computer Programs)
Compilers And Interpreters
Numerical Analysis
Applied Dynamical Systems
Control Structures And Microprogramming
Nonlinear Theories
Mathematical Physics
Theoretical, Mathematical And Computational Physics
Mathematical Methods In Physics
Dynamics
Online Access:
Collection: Springer Book Archives -2004 - Collection details see MPG.ReNa
Table of 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.

Similar Items