Collection home page

Formula Manipulation and Its Applications to Mathematical Research   16
(http://hdl.handle.net/2433/101538)

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