大規模並列数値計算技術に関する研究集会 (LSPANC2018)

参加情報 (general information)

日時・場所 (Date, location)

2018年12月10日
理化学研究所計算科学研究機構 5階会議室 511 (#511, RIKEN CCS)

会議参加費 (Fee)

無料 (Free)
参加希望の方は事前に今村(imamura.toshiyuki [at] riken.jp)までお伝えください。
Please notify Imamura (imamura.toshiyuki_AT_riken.jp) before your participation.

アクセス (Access)

計算科学研究センターの交通案内ページをご確認下さい．
Please see the transportation guide at R-CCS's web page.

プログラム (Program)

10:00-11:00 "INTLAB - The Matlab/Octave toolbox for Reliable Computing"
Prof. Siegfried M. Rump
Institute for Reliable Computing, Hamburg University of Technology

概要 (Abstract)

The result of a numerical algorithm is usually a good approximation to the true result, even for difficult problems. However, sometimes results may be incorrect, even completely wrong, and sometimes without warning. In contrast, the result of a so-called verification algorithm is always mathematically correct. That includes all sources of errors, in particular rounding errors due to limited precision floating-point arithmetic. In this talk the principles of verification methods will be discussed using INTLAB, the Matlab/Octave toolbox for Reliable Computing. The toolbox has several thousand users in more that 50 countries.