三宅 優哉 | 関西大 システム理工学部
スポンサーリンク
概要
論文 | ランダム
- Risa / Asir における新しい形式の数式の取り扱いについて (Computer Algebra : Design of Algorithms, Implementations and Applications)
- 代数体上のイデアルのグレブナー基底計算について (Computer Algebra : Design of Algorithms, Implementations and Applications)
- 離散戸田方程式を用いた大規模疎行列の連立一次方程式, 行列式, 固有多項式の計算法(応用可積分系, 平成17年研究部会連合発表会)
- 連立代数方程式の消去の理論と実際 (数学史の研究)
- Dynamic Evaluation の実装について