書誌情報	ファイル
表紙・目次    (2000-04)   数理解析研究所講究録, 1138
二変数多項式の近似因数分解 : 許容度の下限と既約判定 (数式処理における理論と応用の研究)   長坂, 耕作 (2000-04)   数理解析研究所講究録, 1138: 1-12
浮動小数係数での多変数ヘンゼル構成における桁落ちのメカニズム (数式処理における理論と応用の研究)   佐々木, 建昭 (2000-04)   数理解析研究所講究録, 1138: 13-27
拡張Hensel構成と多変数多項式の因数分解 (数式処理における理論と応用の研究)   佐々木, 建昭; 稲葉, 大樹 (2000-04)   数理解析研究所講究録, 1138: 28-42
誤差項をもつ実多項式の「近似実根」の計算とその応用 (数式処理における理論と応用の研究)   照井, 章 (2000-04)   数理解析研究所講究録, 1138: 43-55
線形写像による判定を用いた代数方程式の実解の代数的解法について (数式処理における理論と応用の研究)   近藤, 祐史; 斎藤, 友克; 竹島, 卓 (2000-04)   数理解析研究所講究録, 1138: 56-63
Approximate GCD of Multivariate Polynomials (Theory and Application in Computer Algebra)   Zhi, LiHong; Noda, Matu-Tarow (2000-04)   数理解析研究所講究録, 1138: 64-76
二変数有理関数近似のハイブリッド計算と多変数近似GCDアルゴリズム (数式処理における理論と応用の研究)   甲斐, 博; 木原, 信二; 野田, 松太郎 (2000-04)   数理解析研究所講究録, 1138: 77-86
代数的局所コホモロジー類のローラン展開とL. EhrenpreisのNoether作用素 (数式処理における理論と応用の研究)   田島, 慎一 (2000-04)   数理解析研究所講究録, 1138: 87-95
ホロノミックシステムの多項式解と有理解を求めるアルゴリズム (数式処理における理論と応用の研究)   高山, 信毅 (2000-04)   数理解析研究所講究録, 1138: 96-105
On Rational Quadratic Bezier Curves (Theory and Application in Computer Algebra)   Suenaga, Katsuyuki; Sakai, Manabu; Yadohisa, Hiroshi (2000-04)   数理解析研究所講究録, 1138: 106-115
Some applications of computer algebra to vector bundles on projective spaces (Theory and Application in Computer Algebra)   Ancona, Vincenzo (2000-04)   数理解析研究所講究録, 1138: 116-126
グレブナ基底 : 理論,計算の効率化,応用 (数式処理における理論と応用の研究)   野呂, 正行 (2000-04)   数理解析研究所講究録, 1138: 127-171
Grobner basisによる分割表の数え上げ (数式処理における理論と応用の研究)   中川, 重和 (2000-04)   数理解析研究所講究録, 1138: 172-179
戦術に忠実な並列Buchberger算法 (数式処理における理論と応用の研究)   鈴木, 正幸 (2000-04)   数理解析研究所講究録, 1138: 180-188
OpenXMプロジェクトの現状について (数式処理における理論と応用の研究)   奥谷, 行央; 小原, 功任; 高山, 信毅; 田村, 恭士; 野呂, 正行; 前川, 将秀 (2000-04)   数理解析研究所講究録, 1138: 189-200
数式処理システムの数学教育への活用とミドルレギュレータの開発 (数式処理における理論と応用の研究)   出口, 博章; 高橋, 正 (2000-04)   数理解析研究所講究録, 1138: 201-210
制約ベース型初期設計支援システム (数式処理における理論と応用の研究)   沢田, 浩之 (2000-04)   数理解析研究所講究録, 1138: 211-219
等号公理下での論理式の標準形とその一階言語への応用 (数式処理における理論と応用の研究)   元吉, 文男; 秋葉, 澄孝; 佐藤, 泰介 (2000-04)   数理解析研究所講究録, 1138: 220-225
有理演算による実対称行列の三重対角化 (数式処理における理論と応用の研究)   関川, 浩 (2000-04)   数理解析研究所講究録, 1138: 226-233