渡部 善隆，山本 野人，中尾 充宏:
実対称行列の正定値判定プログラム,
九州大学大型計算機センター広報, Vol.31, No.1 (1998), pp.1-10.
VPP700/56上で動作する実対称行列の正定値性判定プログラムvpdsmの解説です． vpdsmによる計算結果は，区間演算による丸め誤差の考慮を行なっているため， 正定値性が判定された場合， 行列が《数学的に厳密な意味で》正定値であることを保証します． また，正定値であることが判定された行列については，最小固有値の 下限もあわせて出力します．
本プログラムは，平成6年度後期〜平成9年度前期のプログラムライブラリ開発課題 『精度保証付き数値計算システム』によって得られた成果の一部です． 10ページ．
〔ひとつ戻る〕 〔メインメニューに戻る〕