Scientific computing with automatic result verification /

Show other versions (1)

A collection of papers on recent progress in the development of numerical applications with automatic result verification. The book includes various applications of enclosure methods to problems in the engineering sciences, such as MHD flow calculations and KKR bandstructure calculations.

Bibliographic Details
Call Number:Libro Electrónico
Other Authors: Adams, Ernst, Kulisch, Ulrich
Format: Electronic eBook
Language:Inglés
Published: Boston : Academic Press, �1993.
Series:Mathematics in science and engineering ; v. 189.
Subjects:
Electronic data processing.
Computer science > Mathematics.
Informatique > Math�ematiques.
MATHEMATICS > Applied.
Computer science > Mathematics
Electronic data processing
Analyse num�erique.
Numerical analysis > Use of > Computers
Online Access:Texto completo
Texto completo
Texto completo
Table of Contents:
  • Front Cover; Scientific Computing With Automatic Result Verification; Copyright Page; Contents; Contributors; Preface; Acknowledgements; Introduction; Part I. Language and Progmmmmg Support for Verified Scientific Computation; Chapter 1. PASCAL-XSC, New Concepts for Scientific Computation and Numerical Data Processing; Chapter 2. ACRITH-XSC, A Fortran-like Language for Verified Scientific Computing; Chapter 3. C-XSC, A Programming Environment for Verified Scientific Computing and Numerical Data Processing; Chapter 4. Proposal for Accurate Floating-Point Vector Arithmetic.

Similar Items