TY - JOUR
T1 - 11th GAMM-IMACS International Symposium on Scientific Computing, Computer Arithmetic, and Validated Numerics
AU - Nakao, Mitsuhiro T.
AU - Nagatou, Kaori
PY - 2005/4
Y1 - 2005/4
N2 - 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.
AB - 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.
UR - http://www.scopus.com/inward/record.url?scp=18244365089&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=18244365089&partnerID=8YFLogxK
U2 - 10.1007/s11155-005-3037-1
DO - 10.1007/s11155-005-3037-1
M3 - Article
AN - SCOPUS:18244365089
SN - 1385-3139
VL - 11
SP - 157
EP - 159
JO - Reliable Computing
JF - Reliable Computing
IS - 2
ER -