Outline

日時:

2006年2月5日 (日) 〜2月7日 (火)

場所:

北海道大学理学部8号館 302室

主催者:

大石進一 (早稲田大学)，西田孝明 (早稲田大学)，柴田良弘 (早稲田大学)，小澤　徹 (北海道大学)，西浦廉政 (北海道大学)，坂上貴之 (北海道大学)

プログラム:

2月5日 (日)

14:00-14:50 Siegfried M. Rump (ハンブルグ工科大学) :

Verified Results with High Accuracy

15:10-16:00 中尾 充宏 (九州大学) :

Numerical verification of solutions for partial differential equations and its applications.

18:00- 懇親会

2月6日 (月)

10:00-10:50 田邉 國士 (早稲田大学) :

Product-form iterative refinement of matrix factorizations.

11:10-12:00 大石 進一 (早稲田大学) :

Verified Numerical Computations for Solutions of Finite-Dimensional Linear Equations

14:00-14:50 柴田 良弘 (早稲田大学) :

L_p-L_q maximal regularity and some free boundary problem for the Navier-Stokes equations

15:10-16:00 利根川吉廣 (北海道大学):

Action minimization problem related phase field

16:20-17:00 荻田 武史 (早稲田大学) :

Accurate Summation of Floating Point Numbers

2月7日 (火)

10:00-10:50 小林健太 (九州大学) :

Stokes極限波の一意性に対する数値的検証法

11:10-12:00 平岡裕章 (北海道大学):

Numerical verifications for homoclinic and heteroclinic orbits

＊本研究集会は，早稲田大学特別推進研究「精度保証付き数値解析学の確立」，九州大学2１世紀COEプログラム「機能数理学の構築と展開」および北海道大学21世紀COEプログラム「特異性から見た非線形構造の数学」の援助により開催されます。