Kyoto University Research Information Repository: 検索

DSpace

Kyoto University

検索

検索対象:
検索語

適用済条件:

検索をやり直す

検索条件の追加:

検索結果表示: 1-8 / 8.

前
1
次

検索結果:

書誌情報	ファイル
行列の最小多項式候補と拡張Horner法を用いた逆行列計算について II (数式処理の新たな発展 : その最新研究と基礎理論の再構成) 田島, 慎一; 小原, 功任; 照井, 章 (2017-04) 数理解析研究所講究録, 2019: 28-38
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
多変数留数の計算アルゴリズム(シェイプ基底を持つ場合) (数式処理の新たな発展 : その最新研究と基礎理論の再構成) 小原, 功任; 田島, 慎一 (2017-04) 数理解析研究所講究録, 2019: 85-87
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