書誌情報	ファイル
表紙・目次    (2001-04)   数理解析研究所講究録, 1199
Wu's methodの浮動小数化 (数式処理における理論と応用の研究)   野竹, 禎雄; 甲斐, 博; 支, 麗紅; 野田, 松太郎 (2001-04)   数理解析研究所講究録, 1199: 1-9
Wuの方法の並列化における負荷分散について (数式処理における理論と応用の研究)   白石, 啓一; 那須, 英正; 甲斐, 博; 野田, 松太郎 (2001-04)   数理解析研究所講究録, 1199: 10-19
自動安定化システムを用いた画像処理について (数式処理における理論と応用の研究)   水口, 寛之; 甲斐, 博; 野田, 松太郎 (2001-04)   数理解析研究所講究録, 1199: 20-21
数式処理システムの教育現場での利用I : 教材配付サーバの構築と教育実践報告 (数式処理における理論と応用の研究)   佐伯, 昭洋; 高橋, 正 (2001-04)   数理解析研究所講究録, 1199: 22-35
二変数ハイブリッド有理関数近似の誤差評価 (数式処理における理論と応用の研究)   甲斐, 博; 野田, 松太郎 (2001-04)   数理解析研究所講究録, 1199: 36-42
Risa/AsirにおけるWeyl Algebra上のグレブナ基底計算およびその応用 (数式処理における理論と応用の研究)   野呂, 正行 (2001-04)   数理解析研究所講究録, 1199: 43-50
偏微分作用素を用いた多変数留数計算アルゴリズムと中国剰余定理 (数式処理における理論と応用の研究)   田島, 慎一 (2001-04)   数理解析研究所講究録, 1199: 51-69
代数的局所コホモロジー類の満たすホロノミック系の構成法について (数式処理における理論と応用の研究)   中村, 弥生; 田島, 慎一 (2001-04)   数理解析研究所講究録, 1199: 70-89
$D$-加群における$(u,v)$-極小自由分解とその応用 (数式処理における理論と応用の研究)   大阿久, 俊則; 高山, 信毅 (2001-04)   数理解析研究所講究録, 1199: 90-99
Reach Set Computations Using Real Quantifier Elimination (Theory and Application in Computer Algebra)   Anai, Hirokazu; Weispfenning, Volker (2001-04)   数理解析研究所講究録, 1199: 100-113
Deciding Linear-Trigonometric Problems (Theory and Application in Computer Algebra)   Anai, Hirokazu; Weispfenning, Volker (2001-04)   数理解析研究所講究録, 1199: 114-126
Parametrization by fixed-points multipliers of the polynomials with degree $n$ (Theory and Application in Computer Algebra)   Nishizawa, Kiyoko (2001-04)   数理解析研究所講究録, 1199: 127-131
微小低次項を持つ代数方程式の根の大きさについて (数式処理における理論と応用の研究)   佐々木, 建昭; 照井, 章 (2001-04)   数理解析研究所講究録, 1199: 132-136
多変数多項式のベキ級数根の桁落ち誤差 その2 (数式処理における理論と応用の研究)   佐々木, 建昭; 加古, 富士雄 (2001-04)   数理解析研究所講究録, 1199: 137-148
連立多項式の近似根の計算法について (数式処理における理論と応用の研究)   北本, 卓也 (2001-04)   数理解析研究所講究録, 1199: 149-159
Binary Splitting Algorithmによる高精度計算 (数式処理における理論と応用の研究)   平山, 弘 (2001-04)   数理解析研究所講究録, 1199: 160-166
REDUCEによる非線型差分方程式の保存密度の計算 (数式処理における理論と応用の研究)   高, 敏; 加藤, 泰幸; 伊藤, 雅明 (2001-04)   数理解析研究所講究録, 1199: 167-172
Puiseux展開プログラムの作成 (数式処理における理論と応用の研究)   元吉, 文男 (2001-04)   数理解析研究所講究録, 1199: 173-178
OpenXM 1.1.3の概要 (数式処理における理論と応用の研究)   小原, 功任; 高山, 信毅; 田村, 恭士; 野呂, 正行; 前川, 将秀 (2001-04)   数理解析研究所講究録, 1199: 179-191