Scientific computing with automatic result verification [E-Book] / edited by E. Adams, U. Kulisch.
Adams, Ernst.
Kulisch, Ulrich.
Boston : Academic Press, c1993
1 online resource (x, 612 p.)
englisch
0080958753
0120442108
9780080958750
9780120442102
Mathematics in science and engineering ; v. 189
Full Text
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.