あらまし
精度保証付数値計算と非線形問題の計算機援用証明
Vol.98 No.11pp.967-971
発行日:2015/11/01
Online ISSN:2188-2355
Print ISSN:0913-5693
種別:特集 非線形理論とその応用
専門分野:
キーワード:
精度保証付数値計算, 計算機援用証明, 数値計算可能性とフレッドホルム性,
本文:PDF(299.7KB)>>
あらまし:
非線形問題は代数的に解けない問題がほとんどであるというのは，ポアンカレの主張した命題で，ソリトンなどの完全可積分系を除いて，ほぼその通りであったと言えよう．しかしそれでも数値計算を用いて位相的に厳密に解けるのではないかというのが，精度保証付数値計算による計算機援用証明を行うものの心である．この志を持って25年，研究開始当初には夢にも思わなかったほど精度保証付数値計算は理論と技術とも進展した．その概要を紹介する．
ログイン
メニュー
Online ISSN:2188-2355
…ジュニア会員・学生員にお勧めの記事