「偏微分方程式」に関するサイレントキーワード「計算機援用証明」が含まれる科研費採択研究1件

【研究名】反応拡散モデルを記述する偏微分方程式の正値解に対する精度保証付き数値計算法
【研究代表者】田中 一成  早稲田大学   理工学術院   次席研究員(研究院講師) 	https://nrid.nii.ac.jp/ja/nrid/1000000801226/