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