Cover Image

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
Corporate Author: ScienceDirect (Online service)
Other Authors: Adams, Ernst, Kulisch, Ulrich
Format: eBook
Language:English
Published: Boston : Academic Press, ©1993.
Series:Mathematics in science and engineering ; v. 189.
Subjects:
Electronic data processing.
Computer science > Mathematics.
Informatique > Mathématiques.
MATHEMATICS > Applied.
Computer science > Mathematics
Electronic data processing
Analyse numérique.
Numerical analysis > Use of > Computers
Electronic books.
Online Access:Connect to the full text of this electronic book

Internet

Connect to the full text of this electronic book

Available Online

Holdings details from Available Online
Call Number: QA76 .S368 1993eb
 
Call Number Status Get It
QA76 .S368 1993eb Available