Kyoto University Research Information Repository: 検索

DSpace

Kyoto University

検索

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

前
1
2
次

検索結果:

書誌情報	ファイル
Model theory and programing language(Computer Algebra and its Applications to Mathematical Studies) ISHIKAWA, Shiro; NAGATA, Morio (1984-04) 数理解析研究所講究録, 520: 166-169
Runge-Kutta型公式のattainable orderの決定(数式処理と数学研究への応用) 三井, 斌友 (1984-04) 数理解析研究所講究録, 520: 180-191
REDUCEによるLax pairの計算(数式処理と数学研究への応用) 伊藤, 雅明 (1984-04) 数理解析研究所講究録, 520: 135-139
連立代数方程式のある種の解法について : 代数的・数値的算法による全解構成法(数式処理と数学研究への応用) 藤瀬, 哲朗; 小林, 英恒 (1984-04) 数理解析研究所講究録, 520: 1-22
偏微分方程式に関する問題解決のため数式処理と数値計算を組み合わせたシステム(数式処理と数学研究への応用) 柴山, 誠; 永田, 守男 (1984-04) 数理解析研究所講究録, 520: 153-165
Triplet Distribution Function of the Fluid with the Square Well Potential(Computer Algebra and its Applications to Mathematical Studies) Satoh, Hiroya; Tanaka, Minoru; Katsura, Shigetoshi (1984-04) 数理解析研究所講究録, 520: 105-134
計算機によるアフィンリー環の指標公式の計算(数式処理と数学研究への応用) 神保, 道夫; 三輪, 哲二 (1984-04) 数理解析研究所講究録, 520: 83-104
Grobner-Basisとその応用(数式処理と数学研究への応用) 古川, 昭夫; 小林, 英恒 (1984-04) 数理解析研究所講究録, 520: 23-35
多項式の因数分解について(数式処理と数学研究への応用) 一松, 信 (1984-04) 数理解析研究所講究録, 520: 47-57
特異点の標準型とそのニュートン多角形について(数式処理と数学研究への応用) 高橋, 正 (1984-04) 数理解析研究所講究録, 520: 58-82