Kyoto University Research Information Repository: 検索

DSpace

Kyoto University

検索

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

前
1
2
次

検索結果:

書誌情報	ファイル
国産数式処理システムGALにおけるパターンマッチング(数式処理と数学研究への応用) 佐々木, 建昭; 元吉, 文男 (1986-02) 数理解析研究所講究録, 581: 146-153
ICAS機能の作成(数式処理と数学研究への応用) 対馬, 勝英; 佐藤, 季弘 (1986-02) 数理解析研究所講究録, 581: 131-145
An Implementation of the Formula Manipulation Package in Common Lisp Nagata, Morio; Abe, Masako (1986-02) 数理解析研究所講究録, 581: 105-130
温度グリーン関数の自動作成について(数式処理と数学研究への応用) 坂本, 薫 (1986-02) 数理解析研究所講究録, 581: 85-100
2次形式統計量の分布の高次漸近展開(数式処理と数学研究への応用) 仁木, 直人; 小西, 貞則 (1986-02) 数理解析研究所講究録, 581: 101-104
REDUCEによる偏微分方程式の保存量の計算(数式処理と数学研究への応用) 伊藤, 雅明; 加古, 富志雄 (1986-02) 数理解析研究所講究録, 581: 69-76
Grobner Basis of a Module over K[x$_1$,...,x$_n$] and Polynomial Solutions of a System of Linear Equations Furukawa, A.; Sasaki, T.; Kobayashi, H. (1986-02) 数理解析研究所講究録, 581: 27-43
ある非線形波動方程式の解の予想(数式処理と数学研究への応用) 広田, 良吾 (1986-02) 数理解析研究所講究録, 581: 77-81
ある非線形波動方程式の解の予想 II(数式処理と数学研究への応用) 広田, 良吾 (1986-02) 数理解析研究所講究録, 581: 82-84
GROBNER BASIS OF IDEAL OF CONVERGENT POWER SERIES Kobayashi, H.; Furukawa, A.; Sasaki, T. (1986-02) 数理解析研究所講究録, 581: 7-26