Scientific Computing with Automatic Result Verification

Main
Computers - Computer Science
Scientific Computing with Automatic...

Scientific Computing with Automatic Result Verification

Name: Scientific Computing with Automatic Result Verification
ISBN: 9780120442102

E. Adams and U. Kulisch (Eds.)

0 / 0

0 comments

Bu kitabı ne kadar beğendiniz?

İndirilen dosyanın kalitesi nedir?

Kalitesini değerlendirmek için kitabı indirin

İndirilen dosyaların kalitesi nedir?

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.

Kategoriler:

Computers - Computer Science

Yıl:

1993

Yayımcı:

Academic Press

Dil:

english

ISBN 10:

0120442108

ISBN 13:

9780120442102