スポンサーリンク
日本数式処理学会 | 論文
- ACA 2003、CASC 2003、ASCM 2003 の報告
- ブール多項式環における Comprehensive グレブナー基底について
- GBによるCGSの計算アルゴリズムとその分散計算について
- 包括的グレブナー基底(系)入門
- 剰余環の逆元と準素イデアル分解
- グレブナ基底計算を効率的に行うための項順序自動設定法
- ACA'2002
- 多項式制約間の矛盾検出法
- 機械系システム設計への応用
- 情報工学科での数式処理教育とテキスト (特集 数式処理の教科書)
- 大会報告 日本数式処理学会第10回大会を開催して
- An Overview of QEPCAD B: a Tool for Real Quantifier Elimination and Formula Simplification (特集 Quantifier Elimination)
- 同次線型常微分作用素の因子分解について
- フィルタ対角化法による数値代数方程式の解法
- Noda2005論文 Fast Low Rank Approximation of a Sylvester Matrix by Structured Total Least Norm
- An Integrated Environment for GCD Computation (大会報告 日本数式処理学会第10回大会を開催して)
- パラメータを含むシステムに対するHurwitzの安定性条件について (第19回日本数式処理学会大会報告)
- 数式処理を用いた暗号アルゴリズムの実験的評価
- 一変数多項式の近似代数演算の実用化の試み
- 多変数多項式の絶対既約半径の改善について