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