Kyoto University Research Information Repository: 検索

DSpace

Kyoto University

検索

検索対象:
検索語

適用済条件:

検索をやり直す

検索条件の追加:

検索結果表示: 1-10 / 18.

前
1
2
次

検索結果:

書誌情報	ファイル
パラメータ付き零次元代数的局所コホモロジーを用いたパラメトリック・スタンダード基底計算について (Computer Algebra : Design of Algorithms, Implementations and Applications) 鍋島, 克輔; 中村, 弥生; 田島, 慎一 (2012-10) 数理解析研究所講究録, 1814: 43-53
$mu$-constant deformation に対する代数的局所コホモロジーとTjurina stratification (数式処理 : その研究と目指すもの) 鍋島, 克輔; 田島, 慎一 (2013-07) 数理解析研究所講究録, 1843: 56-65
Bruce-Robertsミルナー数の計算アルゴリズム (数式処理研究の新たな発展) 田島, 慎一; 鍋島, 克輔 (2015-12) 数理解析研究所講究録, 1976: 91-99
偏微分作用素環での包括的グレブナー基底系とホロノミー$D$-加群, $b$-関数 (数式処理研究の新たな発展) 鍋島, 克輔; 田島, 慎一 (2015-12) 数理解析研究所講究録, 1976: 100-116
パラメータ付き対数的ベクトル場と局所コホモロジーについて (数式処理研究の新たな発展) 鍋島, 克輔; 田島, 慎一 (2014-12) 数理解析研究所講究録, 1927: 55-65
代数的局所コホモロジーを用いたパラメータ付き拡張ideal membershipアルゴリズムについて (数式処理とその周辺分野の研究) 鍋島, 克輔; 田島, 慎一 (2015-07) 数理解析研究所講究録, 1955: 180-187
パラメータ付き代数的局所コホモロジーの計算について : 半擬斉次孤立特異点の場合 (数式処理 : その研究と目指すもの) 鍋島, 克輔; 田島, 慎一 (2012-03) 数理解析研究所講究録, 1785: 111-122
代数的局所コホモロジーの計算法とそれを用いたスタンダード基底・グレブナー基底計算について (実閉体上の幾何と特異点論への応用) 鍋島, 克輔; 中村, 弥生; 田島, 慎一 (2011-09) 数理解析研究所講究録, 1764: 102-125
CSSg method for several genericities of deformations of hypersurface singularities (Singularity theory of smooth maps and its applications) 鍋島, 克輔; 田島, 慎一 (2022-07) 数理解析研究所講究録, 2226: 1-15
零次元準素イデアルのネター作用素の計算と応用 --新たなる数式処理をめざして-- 鍋島, 克輔; 田島, 慎一 (2021-04) 数理解析研究所講究録, 2185: 1-15