不動点定理について
不動点定理数学不動点定理の証明集．
記事一覧
常微分方程式の精度保証付き数値計算について
数値計算精度保証ODE計算機で解析解の存在範囲を厳密に特定する「精度保証付き数値計算」について紹介する．
瞬時周波数の定義について
瞬時周波数時間周波数解析数学瞬時周波数が矛盾なく定義できることの証明．
ブラウワーの不動点定理について
不動点定理数学ブラウワーの不動点定理の初等的な証明．
クラフチック法について
精度保証数値計算数学非線形方程式の精度保証つき数値計算に活用されるクラフチック法の説明．