Kyoto University Research Information Repository: 検索

DSpace

Kyoto University

検索

検索対象:
検索語

適用済条件:

検索をやり直す

検索条件の追加:

検索結果表示: 91-100 / 103.

前
1
...
7
8
9
10
11
次

検索結果:

書誌情報	ファイル
CM局所環の準素イデアルのHilbert-Samuel重複度の計算アルゴリズムについて (数式処理の新たな発展 : その最新研究と基礎理論の再構成) 渋田, 敬史; 田島, 慎一 (2017-04) 数理解析研究所講究録, 2019: 80-84
グレブナー基底を用いた収束冪級数環での拡張イデアル所属アルゴリズムについて (数式処理とその周辺分野の研究) 鍋島, 克輔; 田島, 慎一 (2017-10) 数理解析研究所講究録, 2054: 118-125
D. Siersmaの非孤立特異点に付随するD-加群とPoincaré-Birkhoff-Witt代数 (数式処理とその周辺分野の研究) 田島, 慎一 (2017-10) 数理解析研究所講究録, 2054: 126-133
Poincaré-Birkhoff-Witt代数のグレブナー基底計算とRisa/Asirへの実装 (数式処理とその周辺分野の研究) 小原, 功任; 田島, 慎一 (2017-10) 数理解析研究所講究録, 2054: 134-138
収束冪級数環におけるgeneralized integral dependence relationの計算について (Computer Algebra : Theory and its Applications) 鍋島, 克輔; 田島, 慎一 (2019-02) 数理解析研究所講究録, 2104: 78-85
Local Euler obstructionsの計算法について (可微分写像の特異点論の局所的研究と大域的研究) 田島, 慎一 (2018-08) 数理解析研究所講究録, 2085: 97-103
複素解析的不変量$kappa$の計算アルゴリズムについて (可微分写像の特異点論を用いたトポロジー・微分幾何学の研究) 田島, 慎一 (2019-12) 数理解析研究所講究録, 2140: 128-132
パラメータ付きイデアルで定義された多様体の点でのゼロ次元性判定 (Computer Algebra --Theory and its Applications) 鍋島, 克輔; 田島, 慎一 (2019-12) 数理解析研究所講究録, 2138: 130-137
行列の最小消去多項式候補を用いた逆行列計算と連立1次方程式の解法 (Computer Algebra --Theory and its Applications) 田島, 慎一; 小原, 功任; 照井, 章 (2019-12) 数理解析研究所講究録, 2138: 171-175
多変数留数の計算アルゴリズム III 小原, 功任; 田島, 慎一 (2020-06) 数理解析研究所講究録, 2159: 101-107