Scientific computing with automatic result verification

Scientific computing with automatic result verification
Автор
 
Год
 
Страниц
 
625
ISBN
 
ISBN10:0120442108

Описание:

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.

Похожие книги

Rules of Thumb for Chemical EngineersRules of Thumb for Chemical Engineers
Автор: Carl R. Branan
Год: 2002
Theory of Quark and Gluon InteractionsTheory of Quark and Gluon Interactions
Автор: Francisco J. Ynduráin
Год: 2006
Equilibrium structural parametersEquilibrium structural parameters
Автор: Author Unknown
Год: 1999
Economic evaluations in explorationEconomic evaluations in exploration
Автор: Friedrich-Wilhelm Wellmer
Год: 2007
Equilibrium Structural ParametersEquilibrium Structural Parameters
Автор: Author Unknown
Год: 1999