11th GAMM-IMACS International Symposium on Scientific Computing, Computer Arithmetic, and Validated Numerics

Mitsuhiro T. Nakao, Kaori Nagatou

研究成果: Article

抜粋

The proceedings of the 11th GAMM-IMACS International Symposium on Scientific Computing, Computer Arithmetic, and Validated Numerics (SCAN), held in Fukuoka, Japan, from October 4th to 8th, 2004 were discussed. The topics discussed include: hardware and software support for validation tools; theory, algorithms and arithmetic for numerical validation and dynamical systems and validation. More than 80 contributed presentations were included in the final program as two parallel sessions and they were presented after the following 8 invited plenary lectures. The refereed papers of conference proceedings will be published in 2005 in the special issue of Jounal of Computational and Applied Mathematics.

元の言語English
ページ(範囲)157-159
ページ数3
ジャーナルReliable Computing
11
発行部数2
DOI
出版物ステータスPublished - 2005 4
外部発表Yes

    フィンガープリント

ASJC Scopus subject areas

  • Software
  • Safety, Risk, Reliability and Quality

これを引用