Kyoto University Research Information Repository: 検索

DSpace

Kyoto University

検索

検索対象:
検索語

適用済条件:

検索をやり直す

検索条件の追加:

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

前
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
Computer algebra and Bruce-Roberts Milnor number (Developments in Computer Algebra : Recent Research and Re-Formation of Basic Theory) 伊澤, 毅; 鍋島, 克輔; 田島, 慎一 (2017-04) 数理解析研究所講究録, 2019: 64-79
代数的局所コホモロジーを用いた Limiting Tangent Space の計算法 (数式処理の新たな発展 : その最新研究と基礎理論の再構成) 鍋島, 克輔; 田島, 慎一 (2017-04) 数理解析研究所講究録, 2019: 53-63