Cargando…

Scientific computing with automatic result verification /

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.

Detalles Bibliográficos
Clasificación:Libro Electrónico
Otros Autores: Adams, Ernst, Kulisch, Ulrich
Formato: Electrónico eBook
Idioma:Inglés
Publicado: Boston : Academic Press, �1993.
Colección:Mathematics in science and engineering ; v. 189.
Temas:
Acceso en línea:Texto completo
Texto completo
Texto completo