検索
検索条件の追加:
検索条件を追加することで検索結果を絞り込むことができます。
検索結果表示: 1-2 / 2.
- 前
- 1
- 次
検索結果:
| 書誌情報 | ファイル |
|---|---|
| Bruce-Robertsミルナー数の計算アルゴリズム (数式処理研究の新たな発展) 田島, 慎一; 鍋島, 克輔 (2015-12) 数理解析研究所講究録, 1976: 91-99 |  |
| 偏微分作用素環での包括的グレブナー基底系とホロノミー$D$-加群, $b$-関数 (数式処理研究の新たな発展) 鍋島, 克輔; 田島, 慎一 (2015-12) 数理解析研究所講究録, 1976: 100-116 | |