|
本研究では以下の成果を得た。（１）偏微分方程式に関する微分作用素の逆作用素をノルム評価するための精度保証法 （２）常微分方程式の解析のためのLyapunov関数を陽に構築する精度保証法 （３）多倍長精度保証演算ライブラリLILIB の開発・実装
これに関する成果発表状況は、（１）については学術雑誌論文１件（査読付き）（２）については学術雑誌論文２件（査読付き）（３）についてはWeb上での実装ライブラリの公開、および以上に関する口頭発表多数（成果内容報告では主たるもの４件のみを挙げている）がある。
|
