書誌情報	ファイル
表紙・目次    (1993-09)   数理解析研究所講究録, 848
5次方程式の可解性の高速判定法(数式処理における理論と応用の研究)   元吉, 文男 (1993-09)   数理解析研究所講究録, 848: 1-5
On Kronecker-Trager's Factorization Method(Theory and applications in computer algebra)   片町, 健太郎; 椎原, 浩輔; 佐々木, 建昭 (1993-09)   数理解析研究所講究録, 848: 6-12
Factoring Multivariate Polynomial modulo a Monic Reducible Polynomial(Theory and applications in computer algebra)   北本, 卓也; 佐々木, 建昭 (1993-09)   数理解析研究所講究録, 848: 13-16
零因子をもつ環上の逆行列計算について(数式処理における理論と応用の研究)   竹島, 卓; 横山, 和弘 (1993-09)   数理解析研究所講究録, 848: 17-26
組合せ論に現れたある種の行列式と行列の記号的LDU分解(数式処理における理論と応用の研究)   吉田, 知行 (1993-09)   数理解析研究所講究録, 848: 27-37
Young tableaux の構成アルゴリズム(数式処理における理論と応用の研究)   橋口, 博樹; 仁木, 直人; 中川, 重和 (1993-09)   数理解析研究所講究録, 848: 38-48
Simple K3 Singularities の Moduli について II(数式処理における理論と応用の研究)   高橋, 正 (1993-09)   数理解析研究所講究録, 848: 49-57
最近の素数判定アルゴリズム(数式処理における理論と応用の研究)   牧野, 潔夫 (1993-09)   数理解析研究所講究録, 848: 58-73
The configuration space of 6 points in P$^2$, the moduli space of cubic surfaces and the Weyl group of type $E_6$(Theory and applications in computer algebra)   SEKIGUCHI, Jiro (1993-09)   数理解析研究所講究録, 848: 74-85
Algebraic Manipulation for Formal Solutions(Theory and applications in computer algebra)   KATANO, Masayo (1993-09)   数理解析研究所講究録, 848: 86-99
Algorithm of solving second order linear ordinary differential equations and its implementation in REDUCE(Theory and applications in computer algebra)   Berkovich, L.M.; Berkovich, F.L. (1993-09)   数理解析研究所講究録, 848: 100-108
The Entropy of the Moduli Space of the Real Cubic Polynomials(Theory and applications in computer algebra)   野尻, 朝子; 西沢, 清子 (1993-09)   数理解析研究所講究録, 848: 109-119
幾何学的手法によるNewton写像の収束鉢の幅の評価(数式処理における理論と応用の研究)   藤村, 雅代; 西沢, 清子 (1993-09)   数理解析研究所講究録, 848: 120-131
数式処理と区間演算の結合 : 複素区関数の場合(数式処理における理論と応用の研究)   近藤, 祐史; 野田, 松太郎 (1993-09)   数理解析研究所講究録, 848: 132-146
近似的GCDを用いた有理関数近似(数式処理における理論と応用の研究)   甲斐, 博; 野田, 松太郎 (1993-09)   数理解析研究所講究録, 848: 147-161
近似代数計算のためのC++による数式処理クラスライブラリーの開発(数式処理における理論と応用の研究)   福井, 哲夫 (1993-09)   数理解析研究所講究録, 848: 162-176
The algorithms for deciding some properties of finite convergent string rewriting systems(Theory and applications in computer algebra)   Mingchao, Guo; Lian, Li (1993-09)   数理解析研究所講究録, 848: 177-187
数学理解支援システムINGRASYの構築(数式処理における理論と応用の研究)   斉藤, 洋美; 永田, 守男 (1993-09)   数理解析研究所講究録, 848: 188-194
Kan(環):非可換環の得意な数式処理システム(数式処理における理論と応用の研究)   高山, 信毅 (1993-09)   数理解析研究所講究録, 848: 195-195