Scientific Computing With Automatic Result Verification - Couverture rigide

 
9780120442102: Scientific Computing With Automatic Result Verification

Synopsis

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.

Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.