精度保証付き数値計算数値計算ツール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がソース
