書誌情報	ファイル
表紙・目次    (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