書誌情報 | ファイル |
表紙・目次 (2013-07) 数理解析研究所講究録, 1843
| |
行列指数関数のPade近似について (数式処理 : その研究と目指すもの) 北本, 卓也 (2013-07) 数理解析研究所講究録, 1843: 1-7
| |
過酷事故に陥った航空機の制御を目指して : 多変数べき級数根の利用 (数式処理 : その研究と目指すもの) 佐々木, 建昭; 稲葉, 大樹 (2013-07) 数理解析研究所講究録, 1843: 8-21
| |
次数33の可移置換群の分類について (数式処理 : その研究と目指すもの) 宮本, 泉 (2013-07) 数理解析研究所講究録, 1843: 22-27
| |
数独の難易度判定のためのブーリアングレブナー基底の並列計算について (数式処理 : その研究と目指すもの) 佐藤, 裕介; 井上, 秀太郎; 佐藤, 洋祐 (2013-07) 数理解析研究所講究録, 1843: 28-37
| |
グレブナー基底候補の正当性検証について (数式処理 : その研究と目指すもの) 野呂, 正行; 横山, 和弘 (2013-07) 数理解析研究所講究録, 1843: 38-50
| |
ブーリアングレブナ基底の時間割作成問題への応用 (数式処理 : その研究と目指すもの) 井上, 秀太郎 (2013-07) 数理解析研究所講究録, 1843: 51-55
| |
$mu$-constant deformation に対する代数的局所コホモロジーとTjurina stratification (数式処理 : その研究と目指すもの) 鍋島, 克輔; 田島, 慎一 (2013-07) 数理解析研究所講究録, 1843: 56-65
| |
Sign Definite Condition 専用 Quantifier Elimination における論理式の簡単化 (数式処理 : その研究と目指すもの) 岩根, 秀直; 樋口, 博之; 穴井, 宏和 (2013-07) 数理解析研究所講究録, 1843: 66-79
| |
近似特異系の特異化 : 摂動で乱れた系の矯正 (数式処理 : その研究と目指すもの) 佐々木, 建昭 (2013-07) 数理解析研究所講究録, 1843: 80-93
| |
近似共通因子を持つ多項式の規格化 (数式処理 : その研究と目指すもの) 讃岐, 勝 (2013-07) 数理解析研究所講究録, 1843: 94-100
| |
SNAP package and Improved QRGCD algorithm (Computer Algebra : The Algorithms, Implementations and the Next Generation) 増井, 貴明; 長坂, 耕作 (2013-07) 数理解析研究所講究録, 1843: 101-113
| |
Lauricella 超幾何微分方程式系のグレブナー基底について (数式処理 : その研究と目指すもの) 中山, 洋将 (2013-07) 数理解析研究所講究録, 1843: 114-118
| |
対話型数式ユーザインタフェースMathTOUCHにおける数式表記表現の代数的ルールによる正準化の方法 (数式処理 : その研究と目指すもの) 福井, 哲夫 (2013-07) 数理解析研究所講究録, 1843: 119-130
| |
統合システムSageとクラウド型CASの最新事情 (数式処理 : その研究と目指すもの) 横山, 俊一 (2013-07) 数理解析研究所講究録, 1843: 131-139
| |
Asirでの3変数陰関数描画 (数式処理 : その研究と目指すもの) 近藤, 祐史; 兵頭, 礼子; 村尾, 裕一; 齋藤, 友克 (2013-07) 数理解析研究所講究録, 1843: 140-145
| |
一般固有ベクトル空間の構造を求める計算法について (数式処理 : その研究と目指すもの) 田島, 慎一 (2013-07) 数理解析研究所講究録, 1843: 146-154
| |
シュタイナー環におけるデカルトの円定理の拡張について : Extended Abstract (数式処理 : その研究と目指すもの) 森継, 修一 (2013-07) 数理解析研究所講究録, 1843: 155-162
| |
Geometric Properties of Plane Quartics (Computer Algebra : The Algorithms, Implementations and the Next Generation) Takahashi, Tadashi (2013-07) 数理解析研究所講究録, 1843: 163-165
| |