Kyoto University Research Information Repository: 検索

DSpace

Kyoto University

検索

検索結果表示: 1-10 / 22.

前
1
2
3
次

検索結果:

書誌情報	ファイル
5次方程式の可解性の高速判定法(数式処理における理論と応用の研究) 元吉, 文男 (1993-09) 数理解析研究所講究録, 848: 1-5
零因子をもつ環上の逆行列計算について(数式処理における理論と応用の研究) 竹島, 卓; 横山, 和弘 (1993-09) 数理解析研究所講究録, 848: 17-26
数学理解支援システムINGRASYの構築(数式処理における理論と応用の研究) 斉藤, 洋美; 永田, 守男 (1993-09) 数理解析研究所講究録, 848: 188-194
組合せ論に現れたある種の行列式と行列の記号的LDU分解(数式処理における理論と応用の研究) 吉田, 知行 (1993-09) 数理解析研究所講究録, 848: 27-37
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
Young tableaux の構成アルゴリズム(数式処理における理論と応用の研究) 橋口, 博樹; 仁木, 直人; 中川, 重和 (1993-09) 数理解析研究所講究録, 848: 38-48
Simple K3 Singularities の Moduli について II(数式処理における理論と応用の研究) 高橋, 正 (1993-09) 数理解析研究所講究録, 848: 49-57
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
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
Factoring Multivariate Polynomial modulo a Monic Reducible Polynomial(Theory and applications in computer algebra) 北本, 卓也; 佐々木, 建昭 (1993-09) 数理解析研究所講究録, 848: 13-16