Opening book details…
Can I read Scientific computing with automatic result verification, Volume 189 (Mathematics in Science and Engineering) on EtoBox?
Scientific computing with automatic result verification, Volume 189 (Mathematics in Science and Engineering) by E. Adams and U. Kulisch (Eds.) is a nonfiction available to read on EtoBox.
What is Scientific computing with automatic result verification, Volume 189 (Mathematics in Science and Engineering) about?
This book presents a collection of papers on recent progress in the development and applications of numerical applications with automatic result verification. The book is organized in three parts. The first part introduces the necessary language support for verified scientific computations, dealing with tools based on PASCAL, FORTRAN, and C. The second part presents seven contributions to the solution of basic problems of Numerical Analysis with automatic result verification (ARV). The third part covers various applications of enclosure methods to problems in the engineering sciences, such as MHD flow calculations, the discretization of evolution problems, and KKR bandstructure calculations.
Who reads Scientific computing with automatic result verification, Volume 189 (Mathematics in Science and Engineering)?
It is typically read by self-directed learners exploring a subject in depth.
Common subject areas: history, science, philosophy, social sciences.
- Author
- E. Adams and U. Kulisch (Eds.)
- Publisher
- Academic Press, Incorporated
- Published
- 1993
- Language
- EN
- ISBN
- 9780120442102
- Category
- nonfiction
- Subjects
- Science, Mathematics, Computer Science
More by E. Adams and U. Kulisch (Eds.)
Browse all works by E. Adams and U. Kulisch (Eds.)
Similar books
- Large Scale Scientific Computing (Progress in Scientific Computing, 7) — R. E. Bank, W. Fichtner, D. J. Rose, R. K. Smith (auth.), P. Deuflhard, B. Engquist (1987)
- Scientific Computation with Automatic Result Verification — Prof. Dr. U. Kulisch, Prof. Dr. H. J. Stetter (auth.), Prof. Dr. Ulrich Kulisch, Prof. Dr. Hans J. (1988)
- Numerical Methods in Scientific Computing: Volume 1 — Germund Dahlquist, Åke Björck (2008)
- Scientific Computing with MATLAB (Texts in Computational Science and Engineering 2) — Fausto Saleri Alfio Quarteroni (2003)
- Scientific Computing: A Historical Perspective (texts In Computational Science And Engineering) — Bertil Gustafsson (2018)
- Scientific Computing In Electrical Engineering: Scee 2014, Wuppertal, Germany, July 2014 (mathematics In Industry) — Andreas Bartel, Markus Clemens, Michael Günther, E. Jan W. ter Maten (2016)