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

Mitsuhiro T. Nakao; Kaori Nagatou

doi:10.1007/s11155-005-3037-1

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

Mitsuhiro T. Nakao, Kaori Nagatou

Research output: Contribution to journal › Article › peer-review

Abstract

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.

Original language	English
Pages (from-to)	157-159
Number of pages	3
Journal	Reliable Computing
Volume	11
Issue number	2
DOIs	https://doi.org/10.1007/s11155-005-3037-1
Publication status	Published - 2005 Apr
Externally published	Yes

ASJC Scopus subject areas

Software
Safety, Risk, Reliability and Quality

Access to Document

10.1007/s11155-005-3037-1

Cite this

@article{719a0acf650343c28418f412df75d7c2,

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

abstract = "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.",

author = "Nakao, {Mitsuhiro T.} and Kaori Nagatou",

year = "2005",

month = apr,

doi = "10.1007/s11155-005-3037-1",

language = "English",

volume = "11",

pages = "157--159",

journal = "Reliable Computing",

issn = "1385-3139",

publisher = "Springer Netherlands",

number = "2",

}

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 -

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

Abstract

ASJC Scopus subject areas

Access to Document

Other files and links

Fingerprint

Cite this