書誌情報	ファイル
表紙・目次    (1987-02)   数理解析研究所講究録, 612
Grobner-Bases について(数式処理と数学研究への応用)   古川, 昭夫 (1987-02)   数理解析研究所講究録, 612: 1-23
G-基底によるU-終結式の構成(数式処理と数学研究への応用)   小林, 英恒; 藤瀬, 哲朗; 古川, 昭夫 (1987-02)   数理解析研究所講究録, 612: 24-24
On solving a system of algebraic equations by using a Grobner basis   Moritsugu, Shuichi (1987-02)   数理解析研究所講究録, 612: 25-37
Some Algebraic Algorithms Based on Head Term Elimination over Polynomial Rings   Sasaki, Tateaki (1987-02)   数理解析研究所講究録, 612: 38-51
Berlekamp-Massey アルゴリズムの多次元化と Groebner 基底(数式処理と数学研究への応用)   阪田, 省二郎 (1987-02)   数理解析研究所講究録, 612: 52-66
微分代数におけるGrobner基底とその応用(数式処理と数学研究への応用)   高山, 信毅 (1987-02)   数理解析研究所講究録, 612: 67-77
小型ハイブリッド処理システムと微分方程式の解法(数式処理と数学研究への応用)   岩下, 英俊; 野田, 松太郎 (1987-02)   数理解析研究所講究録, 612: 78-89
数式処理と数学記号のあいまい性(数式処理と数学研究への応用)   元吉, 文男 (1987-02)   数理解析研究所講究録, 612: 90-93
数式処理に於けるヒューマンフレンドリネス(数式処理と数学研究への応用)   対馬, 勝英 (1987-02)   数理解析研究所講究録, 612: 94-100
数式処理システムGALのパーザ(数式処理と数学研究への応用)   佐々木, 建昭 (1987-02)   数理解析研究所講究録, 612: 101-110
ICM-86 の報告(数式処理と数学研究への応用)   一松, 信 (1987-02)   数理解析研究所講究録, 612: 111-112
スピングラスにおける有効場の分布関数を求める代数方程式について(数式処理と数学研究への応用)   福田, 亙; 桂, 重俊 (1987-02)   数理解析研究所講究録, 612: 113-125
7段数6次陽的Runge-Kutta法の特性と最適化及び2段数陰的Runge-Kutta法の特性について(数式処理と数学研究への応用)   田中, 正次; 高山, 尚文; 三村, 和正; 山下, 茂 (1987-02)   数理解析研究所講究録, 612: 126-143
ファインマングラフ及びファインマン振幅の自動生成(数式処理と数学研究への応用)   金子, 敏明; 川端, 節彌; 清水, 韶光 (1987-02)   数理解析研究所講究録, 612: 144-152
差分化された2次元戸田格子の解の行列式表現とパッケージCoeff2(数式処理と数学研究への応用)   広田, 良吾; 加古, 富志雄 (1987-02)   数理解析研究所講究録, 612: 153-158
An Algorithm for the Normal Forms of Cubic Curves   TAKAHASHI, Tadashi (1987-02)   数理解析研究所講究録, 612: 159-165