書誌情報	ファイル
PDA用手書き数式入力インターフェースAsirPadの開発   藤本, 光史 (2004-10)   数理解析研究所講究録, 1395: 132-137
OpenXMの新サーバ, 新プロトコル   岩根, 秀直; 小原, 功任; 野呂, 正行; 高山, 信毅 (2004-10)   数理解析研究所講究録, 1395: 138-143
スクリプト言語による計算数論システムの開発   松井, 鉄史 (2004-10)   数理解析研究所講究録, 1395: 144-149
実射影平面上8直線アレンジメントの観測による幾何学的性質   福井, 哲夫; 関口, 次郎 (2004-10)   数理解析研究所講究録, 1395: 150-156
初等幾何の自動証明における効率的な補助線の発見法について   宮本, 健司; 大矢, 孝次; 関川, 浩; 白柳, 潔 (2004-10)   数理解析研究所講究録, 1395: 157-163
Constrained Guided Spiral Transition Curves (Computer Algebra : Design of Algorithms, Implementations and Applications)   Habib, Zulfiqar; Sakai, Manabu (2004-10)   数理解析研究所講究録, 1395: 164-170
Associative binary operators for quadratic rational maps (Computer Algebra : Design of Algorithms, Implementations and Applications)   西沢, 清子; 尾身, 和馬 (2004-10)   数理解析研究所講究録, 1395: 171-177
ハミルトン系の標準化逆問題と数式処理   上野, 嘉夫 (2004-10)   数理解析研究所講究録, 1395: 178-184
アソシエーションスキームの拡張と2重可移群の計算   宮本, 泉 (2004-10)   数理解析研究所講究録, 1395: 185-189
部分積分法による数値積分法   平山, 弘; 館野, 裕文; 平野, 照比古 (2004-10)   数理解析研究所講究録, 1395: 190-195
整定時間のべき級数表現について   北本, 卓也 (2004-10)   数理解析研究所講究録, 1395: 196-197
一変数代数方程式の行列固有値解法について   村上, 弘 (2004-10)   数理解析研究所講究録, 1395: 198-204
$G$関数を用いた数学公式データベースの実装について   森永, 昌義; 甲斐, 博; 野田, 松太郎 (2004-10)   数理解析研究所講究録, 1395: 205-211
HTMLによる数式表示   元吉, 文男 (2004-10)   数理解析研究所講究録, 1395: 212-217
行列計算と基本線形演算の実装法について   兵頭, 礼子; 村尾, 裕一; 齋藤, 友克 (2004-10)   数理解析研究所講究録, 1395: 218-223
多項式行列の行列式の補間による計算   木村, 欣司 (2004-10)   数理解析研究所講究録, 1395: 224-230
A MATLAB Toolbox for Parametric Robust Control System Design based on symbolic computation (Computer Algebra : Design of Algorithms, Implementations and Applications)   坂部, 啓; 屋並, 仁史; 穴井, 宏和; 原, 辰次 (2004-10)   数理解析研究所講究録, 1395: 231-237
SyNRAC : A Maple package for solving real algebraic constraints (Computer Algebra : Design of Algorithms, Implementations and Applications)   Yanami, Hitoshi (2004-10)   数理解析研究所講究録, 1395: 238-244
未定パラメータを含む常微分方程式の取り扱いについて : 動力学的設計問題への応用   沢田, 浩之 (2004-10)   数理解析研究所講究録, 1395: 245-251
Mathematical Knowledge Browser (Computer Algebra : Design of Algorithms, Implementations and Applications)   Nakagawa, Koji; Suzuki, Masakazu (2004-10)   数理解析研究所講究録, 1395: 252-258