書誌情報	ファイル
表紙・目次    (1983-04)   数理解析研究所講究録, 486
「数式処理と数学研究への応用」研究集会 : はしがき(数式処理と数学研究への応用)   一松, 信 (1983-04)   数理解析研究所講究録, 486: 1-3
数式処理によるソリトン方程式の解法(数式処理と数学研究への応用)   広田, 良吾 (1983-04)   数理解析研究所講究録, 486: 4-10
不定方程式のp進解法とその応用(数式処理と数学研究への応用)   村尾, 裕一; 古川, 昭夫 (1983-04)   数理解析研究所講究録, 486: 11-26
BY-PRS AND AN EXTENSION OF SUBRESULTANT THEORY   Sasaki, Tateaki; Furukawa, Akio (1983-04)   数理解析研究所講究録, 486: 27-48
連立1階常微分方程式の形式整級数解の近似計算法(数式処理と数学研究への応用)   藤瀬, 哲朗 (1983-04)   数理解析研究所講究録, 486: 49-66
非線形方程式の解法(数式処理と数学研究への応用)   平野, 菅保; 亀井, 光雄; 布広, 永示 (1983-04)   数理解析研究所講究録, 486: 67-84
Weierstrass Points on Curves of Fermat Type   Kobayashi, Hidetsune (1983-04)   数理解析研究所講究録, 486: 85-93
パンルベII型方程式有理関数解を定義する多項式の既約権についての計算機による予想(数式処理と数学研究への応用)   亀高, 惟倫 (1983-04)   数理解析研究所講究録, 486: 94-98
Notes on a Method for Describing Definitions Theorems, Proofs in Mathematics   Ishikawa, Shiro; Nagata, Morio (1983-04)   数理解析研究所講究録, 486: 99-119
数式のグラフィックディスプレイによる出力(数式処理と数学研究への応用)   元吉, 文男 (1983-04)   数理解析研究所講究録, 486: 120-123
COSMOS: A Conversational Algebraic System   Nagata, Morio; Shibayama, Makoto (1983-04)   数理解析研究所講究録, 486: 124-153
DESIGN OF A GENERAL COMPUTER ALGEBRA SYSTEM   Sasaki, Tateaki; Watanabe, Shunro; Furukawa, Akio (1983-04)   数理解析研究所講究録, 486: 154-165
ランダムスピン系の統計力学における積分方程式(数式処理と数学研究への応用)   桂, 重俊; 藤木, 澄義; 末永, 敏幸; 松野, 明 (1983-04)   数理解析研究所講究録, 486: 166-175
Phase diagram of a spin glass of Eu$_pSr_{l-p}S$   Katsura, Shigetoshi; Matsuno, Akira (1983-04)   数理解析研究所講究録, 486: 176-194
話題提供 : 数式処理システムをめぐって(数式処理と数学研究への応用)   金田, 康正 (1983-04)   数理解析研究所講究録, 486: 195-211