Scientific computing with automatic result verification [electronic resource]

• 其他作者：
  • Adams, Ernst.
  • Kulisch, Ulrich.
• 其他題名：
  • Mathematics in science and engineering
• 出版： Boston : Academic Press
• 叢書名： Mathematics in science and engineeringv. 189
• 主題： Electronic data processing , Computer science--Mathematics , MATHEMATICS--Applied. , Numerical analysis Use of Computers , Electronic books.
• ISBN： 9780120442102 (electronic bk.) 、 0120442108 (electronic bk.) 、 9780080958750 (electronic bk.) 、 0080958753 (electronic bk.)
• FIND@SFXID: CGU
• 資料類型: 電子書
• 內容註: Includes bibliographical references and index. Front Cover; Scientific Computing With Automatic Result Verification; Copyright Page; Contents; Contributors; Preface; Acknowledgements; Introduction; Part I. Language and Progmmmmg Support for Verified Scientific Computation; Chapter 1. PASCAL-XSC, New Concepts for Scientific Computation and Numerical Data Processing; Chapter 2. ACRITH-XSC, A Fortran-like Language for Verified Scientific Computing; Chapter 3. C-XSC, A Programming Environment for Verified Scientific Computing and Numerical Data Processing; Chapter 4. Proposal for Accurate Floating-Point Vector Arithmetic.
• More
• 摘要註: 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.
• 讀者標籤：

  需登入
• 引用連結：

  Copy Link
• 目前引用數
• Share: