No.520
数式処理と数学研究への応用
Formula Manipulation and Its Applications for Mathematical Studies
 
1983/12/15〜1983/12/17
一松 信
HITOTSUMATSU,SHIN
 
目 次
 
1. 連立代数方程式のある種の解法について : 代数的・数値的算法による全解構成法(数式処理と数学研究への応用)-----------------------------1
    電気通信大学電気通信部情報数理工学科 / 日本大学理工学部数学科   藤瀬 哲朗 / 小林 英恒 (Fujise, Tetsuro / Kobayashi, Hidetsune)
 
2. Grobner-Basisとその応用(数式処理と数学研究への応用)------------------------------------------------------------------------------23
    東京都立大学理学部数学科 / 日本大学理工学部数学科   古川 昭夫 / 小林 英恒 (Furukawa, Akio / Kobayashi, Hideo)
 
3. REDUCEによるLegendre陪関数P$^m_\ell(cos \theta)$の差分化(数式処理と数学研究への応用)---------------------------------------------36
    広島大学工学部   広田 良吾 (Hirota, Ryogo)
 
4. 多項式の因数分解について(数式処理と数学研究への応用)-----------------------------------------------------------------------------47
    京都大学数理解析研究所   一松 信 (Hirotumatu, Sin)
 
5. 特異点の標準型とそのニュートン多角形について(数式処理と数学研究への応用)---------------------------------------------------------58
    早稲田大学理工学部数学科   高橋 正 (Takahashi, Tadashi)
 
6. 計算機によるアフィン リー環の指標公式の計算(数式処理と数学研究への応用)----------------------------------------------------------83
    数理解析研究所 / 数理解析研究所   神保 道夫 / 三輪 哲二 (JIMBO, MICHIO / MIWA, TETSUJI)
 
7. Triplet Distribution Function of the Fluid with the Square Well Potential(Computer Algebra and its Applications to Mathematical Studies)---105
    東北大学工学部 / 東北大学工学部 / 東北大学工学部   佐藤 広也 / 田中 実 / 桂 重俊 (Satoh, Hiroya / Tanaka, Minoru / Katsura, Shigetoshi)
 
8. REDUCEによるLax pairの計算(数式処理と数学研究への応用)--------------------------------------------------------------------------135
    広島大学工学部   伊藤 雅明 (Ito, Masaaki)
 
9. 5段数陽的Runge-Kutta法の完全解(数式処理と数学研究への応用)----------------------------------------------------------------------140
    山梨大学工学部 / 山梨大学工学部 / 山梨大学工学部   若林 晴彦 / 田中 正次 / 山下 茂 (Wakabayashi, Haruhiko / Tanaka, Masatsugu / Yamashita, Shigeru)
 
10. 偏微分方程式に関する問題解決のため数式処理と数値計算を組み合わせたシステム(数式処理と数学研究への応用)-------------------------153
    慶應大学理工学部 / 慶應大学理工学部   柴山 誠 / 永田 守男 (Shibayama, Makoto / Nagata, Morio)
 
11. Model theory and programing language(Computer Algebra and its Applications to Mathematical Studies)----------------------------166
    Faculty of Science and Technology, Keio University / Faculty of Science and Technology, Keio University   石川 史郎 / 永田 守男 (ISHIKAWA, Shiro / NAGATA, Morio)
 
12. ENVIRONMENT PROBLEMS IN FORMULA MANIPULATION SYSTEMS(Computer Algebra and its Applications to Mathematical Studies)------------170
    The Institute of Physical and Chemical Research / Electrotechnical Laboratory, Ministry of ITI   佐々木 建昭 / 元吉 文男 (Sasaki, Tateaki / Motoyoshi, Fumio)
 
13. Runge-Kutta型公式のattainable orderの決定(数式処理と数学研究への応用)----------------------------------------------------------180
    福井大学工学部   三井 斌友 (Mitsui, Taketomo)