検索
検索条件の追加:
検索条件を追加することで検索結果を絞り込むことができます。
検索結果:
| 書誌情報 | ファイル |
|---|---|
| Lauricella 超幾何微分方程式系のグレブナー基底について (数式処理 : その研究と目指すもの) 中山, 洋将 (2013-07) 数理解析研究所講究録, 1843: 114-118 |  |
| 一般固有ベクトル空間の構造を求める計算法について (数式処理 : その研究と目指すもの) 田島, 慎一 (2013-07) 数理解析研究所講究録, 1843: 146-154 | |
| 行列指数関数のPade近似について (数式処理 : その研究と目指すもの) 北本, 卓也 (2013-07) 数理解析研究所講究録, 1843: 1-7 | |
| グレブナー基底候補の正当性検証について (数式処理 : その研究と目指すもの) 野呂, 正行; 横山, 和弘 (2013-07) 数理解析研究所講究録, 1843: 38-50 | |
| シュタイナー環におけるデカルトの円定理の拡張について : Extended Abstract (数式処理 : その研究と目指すもの) 森継, 修一 (2013-07) 数理解析研究所講究録, 1843: 155-162 | |
| ブーリアングレブナ基底の時間割作成問題への応用 (数式処理 : その研究と目指すもの) 井上, 秀太郎 (2013-07) 数理解析研究所講究録, 1843: 51-55 | |
| 次数33の可移置換群の分類について (数式処理 : その研究と目指すもの) 宮本, 泉 (2013-07) 数理解析研究所講究録, 1843: 22-27 | |
| 統合システムSageとクラウド型CASの最新事情 (数式処理 : その研究と目指すもの) 横山, 俊一 (2013-07) 数理解析研究所講究録, 1843: 131-139 | |