コレクションホームページ
0581 数式処理と数学研究への応用
13
0581 数式処理と数学研究への応用
13
(http://hdl.handle.net/2433/98126)
ブラウズ
文献一覧(目次の昇順ソート): 1 - 13 / 13
書誌情報 | ファイル |
---|---|
表紙・目次 (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 |
文献一覧(目次の昇順ソート): 1 - 13 / 13