Scientific computation with automatic result verification

著者

• Kulisch, Ulrich W
• Stetter, Hans J.
• Universität Karlsruhe. Institut für Angewandte Mathematik
• GAMM Committee on "Computer Arithmetic and Scientific Computation"

書誌事項

Scientific computation with automatic result verification

U. Kulisch and H.J. Stetter (eds.)

（Computing supplementum, 6）

Springer-Verlag, c1988

• : au
• : us

注記

Based on papers presented at a conference held Sept. 30-Oct. 2, 1987 in Karlsruhe and co-sponsored by the Institute for Applied Mathematics of Karlsruhe University and the GAMM Committee on "Computer Arithmetic and Scientific Computation"

Includes bibliographies

• NII書誌ID(NCID): BA06868630
• ISBN:
  • 3211820639
  • 0387820639
• LCCN: 88024988
• 出版国コード: au
• タイトル言語コード: eng
• 本文言語コード: eng
• 出版地: Wien ; New York
• ページ数/冊数: viii, 244 p.
• 大きさ: 25 cm
• 分類:
  • LCC : QA297
  • DC19 : 519.4
• 件名:
  • LCSH : Numerical calculations -- Verification -- Congresses
  • LCSH : Algorithms -- Congresses
• 親書誌ID:
  • BA03637438