Kyoto University Research Information Repository: 検索

DSpace

Kyoto University

検索

検索対象:
検索語

適用済条件:

検索をやり直す

検索条件の追加:

検索結果表示: 81-90 / 103.

前
1
...
6
7
8
9
10
11
次

検索結果:

書誌情報	ファイル
単純ホップ分岐判定法の実装深作, 亮也; 田島, 慎一 (2021-04) 数理解析研究所講究録, 2185: 113-122
H. Lewy現象と再生核(偏微分方程式系の局所非局所変換理論) 田島, 慎一 (1985-11) 数理解析研究所講究録, 573: 15-34
有理関数のローラン展開アルゴリズムと代数的局所コホモロジー加藤, 涼香; 田島, 慎一 (2004-10) 数理解析研究所講究録, 1395: 50-56
零次元代数的局所コホモロジー類に付随するホロノミック系の構成アルゴリズム (超局所解析の展望) 田島, 慎一; 中村, 弥生 (2005-01) 数理解析研究所講究録, 1412: 189-198
零次元準素イデアルとNoether作用素アルゴリズム田島, 慎一 (2004-10) 数理解析研究所講究録, 1395: 57-63
H.Lewy's extension problemと接CR方程式系(超局所解析と大域解析) 田島, 慎一 (1985-04) 数理解析研究所講究録, 558: 5-16
行列の最小多項式候補と拡張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