制御系CAD研究室(古賀研究室) – 安全・安心・効率的な社会づくりを支える制御系開発のICTによる総合的支援
Skip to Content 登録は無効化されました。
精度保証付き数値計算
数値計算ツールFAQからページの名前を変更しました(2001/1/20)。 <トピックス> [2002/6/12] 石井(九大)さんからLorenzアトラクタの存在検証がW.Tuckerによってなされていることを教えていただいた。これはSmaleの第14問題(Lorenz微分方程式のアトラクタはWilliams, Guckenheimer, とYorkeが提案したgeometric Lorenz attractorであるか?)と関連する。そして、 Tucker (2002) はこれを肯定的に解いた(pdf,180k)。（中尾先生のご指摘、関連のページ) [2002/1/27] Algae3.6.2になり( 11/1/01) patch Minor installation improvements によって、Redhat Linux7.2など、Rlabに似た数値計算ツールAlgaeがソース
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
Interval Computations
