Collection home page

Formula Manipulation and Its Applications for Mathematical Studies   13
(http://hdl.handle.net/2433/98126)

Browse
List Of Items (Sorted by table of contents in Ascending order): 1 to 13 of 13
BibliographyContents
表紙・目次
   (1986-02)
  数理解析研究所講究録, 581
file type icon
根号による1のn乗根の解法(数式処理と数学研究への応用)
  元吉, 文男 (1986-02)
  数理解析研究所講究録, 581: 1-6
file type icon
GROBNER BASIS OF IDEAL OF CONVERGENT POWER SERIES
  Kobayashi, H., Furukawa, A., Sasaki, T. (1986-02)
  数理解析研究所講究録, 581: 7-26
file type icon
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
file type icon
An Algorithm for the Normal Forms
  Takahashi, Tadashi (1986-02)
  数理解析研究所講究録, 581: 44-68
file type icon
REDUCEによる偏微分方程式の保存量の計算(数式処理と数学研究への応用)
  伊藤, 雅明, 加古, 富志雄 (1986-02)
  数理解析研究所講究録, 581: 69-76
file type icon
ある非線形波動方程式の解の予想(数式処理と数学研究への応用)
  広田, 良吾 (1986-02)
  数理解析研究所講究録, 581: 77-81
file type icon
ある非線形波動方程式の解の予想 II(数式処理と数学研究への応用)
  広田, 良吾 (1986-02)
  数理解析研究所講究録, 581: 82-84
file type icon
温度グリーン関数の自動作成について(数式処理と数学研究への応用)
  坂本, 薫 (1986-02)
  数理解析研究所講究録, 581: 85-100
file type icon
2次形式統計量の分布の高次漸近展開(数式処理と数学研究への応用)
  仁木, 直人, 小西, 貞則 (1986-02)
  数理解析研究所講究録, 581: 101-104
file type icon
An Implementation of the Formula Manipulation Package in Common Lisp
  Nagata, Morio, Abe, Masako (1986-02)
  数理解析研究所講究録, 581: 105-130
file type icon
ICAS機能の作成(数式処理と数学研究への応用)
  対馬, 勝英, 佐藤, 季弘 (1986-02)
  数理解析研究所講究録, 581: 131-145
file type icon
国産数式処理システムGALにおけるパターンマッチング(数式処理と数学研究への応用)
  佐々木, 建昭, 元吉, 文男 (1986-02)
  数理解析研究所講究録, 581: 146-153
file type icon
List Of Items (Sorted by table of contents in Ascending order): 1 to 13 of 13