あらまし

精度保証付数値計算と非線形問題の計算機援用証明

大石 進一 

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