参考文献

1

村田 健郎, 線形代数と線形計算法序説, サイエンス社 (1986).

2

矢川 げんき元基・青山裕司, 有限要素固有値解析, 森北出版 (2001).

9

渡部善隆・山本野人・中尾充宏, 一般化固有値問題の精度保証付き計算とその応用, 応用数理学会論文誌, VOL.9 NO.3 SEPTEMBER (1999), pp.137-150.
なお、 http://www.cc.kyushu-u.ac.jp/scp/system/library/PROGRAM_LIBRARIES/Nakao/vpgep/vpgep.pdfも参照せよ。

4

G. H. Golub and C. F. Van Loan, Matrix Computations, third edition, The Johns Hopkins University Press (1996).

7

桂田 祐史, Cholesky 分解ノート, http://nalab.mind.meiji.ac.jp/~mk/labo/text/cholesky.pdf において ある。

6

桂田 祐史, 連立1次方程式 III 「自分が使うための線形代数」, http://nalab.mind.meiji.ac.jp/~mk/labo/text/linear-eq-3.pdf において ある。

7

桂田 祐史, 行列の固有値問題, http://nalab.mind.meiji.ac.jp/~mk/labo/text/eigenvalues.pdf においてある。

13

桂田 祐史, 固有値問題ノートの補足, http://nalab.mind.meiji.ac.jp/~mk/labo/text/eigenvalues-add.pdf においてある。

9

桂田 祐史, 一般化固有値問題, http://nalab.mind.meiji.ac.jp/~mk/labo/text/generalized-eigenvalue-problem.pdf においてある。
この文書である。

10

桂田 祐史, 『渡部・山本・中尾の一般化固有値問題の論文(1999)を読む』, http://nalab.mind.meiji.ac.jp/~mk/labo/members/reading-wyn1999.pdf
渡部善隆・山本野人・中尾充宏 [9] の読書ノート。

11

N. Yamamoto and M. T. Nakao, Numerical verifications of solutions for elliptic equations in non-convex polygonal domains, Numerische Mathematik, Vol.65 (1993), pp. 503-521.

12

T. Yamamoto, Error bounds for computed eigenvalues and eigenvectors, Numerische Mathematik, Vol.34 (1980), pp. 189-199.

13

T. Yamamoto, Error bounds for computed eigenvalues and eigenvectors II, Numerische Mathematik, Vol.40 (1982), pp. 201-206.

14

S. M. Rump, Verification Methods for Dense and Sparse Systems of equations, in Jürgen Herzberger (Editor), Topics in Validated Computations (Proceedings of the IMACS-GAMM International Workshop on Validated Computation, Oldenburg, Germany, August 30th-September 3rd, 1993), Elsevier Science, North Holland, Amsterdam, 1994, pp. 63-135.