検索
検索条件の追加:
検索条件を追加することで検索結果を絞り込むことができます。
検索結果:
書誌情報 | ファイル |
---|---|
Sign Definite Condition 専用 Quantifier Elimination における論理式の簡単化 (数式処理 : その研究と目指すもの) 岩根, 秀直; 樋口, 博之; 穴井, 宏和 (2013-07) 数理解析研究所講究録, 1843: 66-79 | |
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 |
絞り込み
分類
- 19 410
資料種別