Scientific Computing with Automatic Result Verification
E. Adams and U. Kulisch (Eds.)
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.
Կատեգորիաներ:
Տարի:
1993
Հրատարակչություն:
Academic Press
Լեզու:
english
ISBN 10:
0120442108
ISBN 13:
9780120442102
Սերիաներ:
Mathematics in Science and Engineering 189
Ֆայլ:
DJVU, 3.78 MB
IPFS:
,
english, 1993