Masahide Kashiwagi's Verification World


柏木が、精度保証付き数値計算についてあれこれ書く予定のページ。 (2013年9月18日開設)

精度保証日記

精度保証付き数値計算に関すること、その他について、ときどきつぶやきます。

kv - C++による精度保証付き数値計算ライブラリ

研究の過程で作成したプログラムを公開しています。
こちらは古いコンテンツ、boostで精度保証しよう。 一応保存しておく。

ライブラリのWebデモ

ライブラリのWebデモです。Web上で入力した式に対して精度保証を行えます。

精度保証付き数値計算の必要性

Lorenz方程式をmatlabと解き比べてみました。
Masahide Kashiwagi / kashi@waseda.jp