Scientific Computing With Automatic Result Verification - Rilegato

Adams, Ernst

 
9780120442102: Scientific Computing With Automatic Result Verification

Sinossi

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.

Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.