検索


適用済条件:



検索をやり直す
検索条件の追加:

検索条件を追加することで検索結果を絞り込むことができます。


検索結果表示: 1-9 / 9.
  • 1
検索結果:
書誌情報ファイル
Bruce-Robertsミルナー数の計算アルゴリズム (数式処理研究の新たな発展)
  田島, 慎一; 鍋島, 克輔 (2015-12)
  数理解析研究所講究録, 1976: 91-99
file type icon 
偏微分作用素環での包括的グレブナー基底系とホロノミー$D$-加群, $b$-関数 (数式処理研究の新たな発展)
  鍋島, 克輔; 田島, 慎一 (2015-12)
  数理解析研究所講究録, 1976: 100-116
file type icon 
行列Horner法の並列化による行列の固有ベクトル計算の効率化について (数式処理研究の新たな発展)
  田島, 慎一; 小原, 功任; 照井, 章 (2015-12)
  数理解析研究所講究録, 1976: 81-90
file type icon 
行列Horner法の並列化の実装について (数式処理研究の新たな発展)
  田島, 慎一; 小原, 功任; 照井, 章 (2015-01)
  数理解析研究所講究録, 1930: 51-59
file type icon 
代数的局所コホモロジーを用いたパラメータ付き拡張ideal membershipアルゴリズムについて (数式処理とその周辺分野の研究)
  鍋島, 克輔; 田島, 慎一 (2015-07)
  数理解析研究所講究録, 1955: 180-187
file type icon 
孤立特異点変形と$f^s$のパラメータ付き偏微分作用素環でのannihilatorについて (数式処理とその周辺分野の研究)
  加藤, 満生; 田島, 慎一 (2015-07)
  数理解析研究所講究録, 1955: 168-179
file type icon 
行列の最小消去多項式候補を利用した固有ベクトル計算IV (数式処理とその周辺分野の研究)
  田島, 慎一; 照井, 章 (2015-07)
  数理解析研究所講究録, 1955: 188-197
file type icon 
最小消去多項式を用いた一般固有ベクトル空間の基底計算法 (数式処理とその周辺分野の研究)
  小原, 功任; 田島, 慎一 (2015-07)
  数理解析研究所講究録, 1955: 198-204
file type icon 
行列Horner法の拡張と効率化 (数式処理研究の新たな発展)
  田島, 慎一; 小原, 功任; 照井, 章 (2015-01)
  数理解析研究所講究録, 1930: 26-38
file type icon