書誌情報	ファイル
ある種の非線形計画問題の代数的解法について(数式処理における理論と応用の研究)   白石, 啓一; 甲斐, 博; 齋藤, 友克; 野田, 松太郎 (1998-04)   数理解析研究所講究録, 1038: 146-153
On Solving Semidefinite Programming by Quantifier Elimination   ANAI, HIROKAZU (1998-04)   数理解析研究所講究録, 1038: 154-162
加群の積分とその応用(数式処理における理論と応用の研究)   大阿久, 俊則; 高山, 信毅 (1998-04)   数理解析研究所講究録, 1038: 163-169
安定化理論の新しい使い道(数式処理における理論と応用の研究)   白柳, 潔 (1998-04)   数理解析研究所講究録, 1038: 170-176
浮動小数演算に基づく安定化理論計算システムの作成(数式処理における理論と応用の研究)   水口, 寛之; 甲斐, 博; 野田, 松太郎 (1998-04)   数理解析研究所講究録, 1038: 177-182
$\mathit{p}$進近似を利用した代数的数の取り扱い(数式処理における理論と応用の研究)   関川, 浩 (1998-04)   数理解析研究所講究録, 1038: 183-189
浮動小数点計算を用いた代数的数の符号判定(数式処理における理論と応用の研究)   日吉, 久礎; 関川, 浩 (1998-04)   数理解析研究所講究録, 1038: 190-197
数式処理システム「Mathematica」にインタラクティブ機能を組み込む(数式処理における理論と応用の研究)   宮地, 力 (1998-04)   数理解析研究所講究録, 1038: 198-204
Java による数式処理(数式処理における理論と応用の研究)   元吉, 文男 (1998-04)   数理解析研究所講究録, 1038: 205-209
数式処理システムのHomePage上での利用(数式処理における理論と応用の研究)   杉山, 武志; 高橋, 正 (1998-04)   数理解析研究所講究録, 1038: 210-212
グラフ電卓上の数式処理システムの数学教育への活用について(数式処理における理論と応用の研究)   林, 正隆; 高橋, 正 (1998-04)   数理解析研究所講究録, 1038: 213-217
Analytical Solitary Wave Solutions for the Nonlinear Schrodinger Equation Coupled to the Korteweg-de Vries Equation   LI, ZHIBIN (1998-04)   数理解析研究所講究録, 1038: 218-222
A Class of Generalized Cyclic Codes   Liu, Zhuojun (1998-04)   数理解析研究所講究録, 1038: 223-229
Atkin,Elkies らによる Schoof のアルゴリズム改良の実装について(数式処理における理論と応用の研究)   小暮, 淳; 伊豆, 哲也; 横山, 和弘 (1998-04)   数理解析研究所講究録, 1038: 230-243
Risa / Asir による modular polynomial の計算(数式処理における理論と応用の研究)   伊豆, 哲也 (1998-04)   数理解析研究所講究録, 1038: 244-254