Masahide Kashiwagi's Verification World
柏木が、精度保証付き数値計算についてあれこれ書く予定のページ。
(2013年9月18日開設)
精度保証付き数値計算に関すること、その他について、ときどきつぶやきます。
研究の過程で作成したプログラムを公開しています。
こちらは古いコンテンツ、boostで精度保証しよう。
一応保存しておく。
ライブラリのWebデモです。Web上で入力した式に対して精度保証を行えます。
Lorenz方程式をmatlabと解き比べてみました。
Masahide Kashiwagi / kashi@waseda.jp
kv - C++による精度保証付き数値計算ライブラリ