数式処理による行列の標準形の厳密計算法
スポンサーリンク
概要
- 論文の詳細を見る
In this paper, we present algorithms for computing seueral kinds of normal forms of square matrices ouer the rational number field. The computation is carried out exactly by a computer algebra system, hence the result is free from any numerical errors. An improued algorithm for computing Jordan Normal Forms without the defect contained in the already-known algorithms was shown in our preuious paper. We extend the algorithm to the computation of Second Natural Normal Forms, Jacobson Normal Forms, and transformation matrices into Jordan Normal Forms. We implement the algorithms on the computer algebra system REDUCE3.3 and compute the normal forms. The result shows the practical efficiency of our algorithms.
- 日本応用数理学会の論文
- 1994-06-15
著者
関連論文
- グレブナー基底による幾何定理の代数的証明の効率について
- 整数行列のFrobenius標準形のモジュラー計算法(II) (Computer Algebra : Algorithms, Implementations and Applications)
- 整数行列のFrobenius標準形のモジュラー計算法
- 行列の固有値・固有ベクトル・一般固有ベクトルの数式処理による記号的計算法
- 整数行列のFrobenius標準形のモジュラー計算法 (数式処理における理論と応用の研究)
- ISSAC'99参加報告
- ISSAC'98見聞録
- RISC-Linz, Johannes Kepler Universitat(Overseas,Laboratories)
- 数式処理による行列の有理標準形からJacobson標準形への変換行列の計算法(数式処理における理論と応用の研究)
- 行列の有理標準形の分数なし計算法
- 数式処理による行列の標準形の厳密計算法
- 行列のJordan標準形の数式処理による厳密計算法
- 数式処理による行列のJordan標準形の構成法
- Solving Cubic Equations by ORIGAMI(Computer Algebra : Design of Algorithms, Implementations and Applications)
- 折り紙による3次方程式の解法について
- 固有値法による連立代数方程式のRUR計算について
- 円内接多角形問題と「算法発揮(1690)」における解について (Computer Algebra : Design of Algorithms, Implementations and Applications)