高山 信毅 | 神戸大学大学院理学研究科・JST CREST
スポンサーリンク
概要
神戸大学大学院理学研究科・JST CREST | 論文
- 割り算アルゴリズムとBuchberger アルゴリズムのためのインタラクティブユーザインターフェース作成について (Computer Algebra : Design of Algorithms, Implementations and Applications)
- Moraの割り算アルゴリズムと多項式のlocal $b$ 関数の計算 (Computer Algebra : Design of Algorithms, Implementations and Applications)
- 積分の満たす非斉次微分方程式系を与えるアルゴリズム (数式処理研究の新たな発展)
- 和の満たす非斉次差分方程式系を与えるアルゴリズム (数式処理 : その研究と目指すもの)
- $D$ 加群の積分アルゴリズムと近似零化イデアル (数式処理研究の新たな発展)