検索
検索条件の追加:
検索条件を追加することで検索結果を絞り込むことができます。
検索結果:
書誌情報 | ファイル |
---|---|
国産数式処理システム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 |