No.811
数式処理と数学研究への応用
 
1991/11/25〜1991/11/27
小林 英恒
Hidetsune Kobayashi
 
目 次
 
1. 因数分解について(数式処理と数学研究への応用)--------------------------------------------------------------------------------------1
    上智大学 / 神奈川工科大学   斎藤 友克 / 平野 照比古
 
2. ネータの正規化定理について(数式処理と数学研究への応用)----------------------------------------------------------------------------7
    日本大学理工学部数学科   小林 英恒 (Kobayashi, Hidetsune)
 
3. Use of Power-series Division in Multivariate Polynomial Arithmetic---------------------------------------------------------------12
    The Institute of Physical and Chemical Research (RIKEN) / Institute of Mathematics, University of Tsukuba   Kolar, M. / Sasaki, T.
 
4. 数式処理による数値積分(数式処理と数学研究への応用)-------------------------------------------------------------------------------22
    工学院大学数学科   牧野 潔夫
 
5. ハイブリッド積分アルゴリズムとその応用について(数式処理と数学研究への応用)-------------------------------------------------------37
    愛媛大学工学部電子工学科 / 愛媛大学工学部情報工学科   宮広 栄一 / 野田 松太郎 (MIYAHIRO, Ei-ichi / NODA, Matu-Tarow)
 
6. 疎な多項式の補間のためのモジュラー算法(数式処理と数学研究への応用)---------------------------------------------------------------49
    東京大学大型計算機センター   村尾 裕一 (MURAO, Hirokazu)
 
7. Toroidal embedding への数式処理システムの応用(数式処理と数学研究への応用)--------------------------------------------------------60
    神戸大学教育学部 / 日立製作所情報システム開発本部   高橋 正 / 米村 崇 (Takahashi, Tadashi / Yonemura, Takashi)
 
8. Mathematicaによる散乱問題の研究2:ガンマ行列の積のトレースの計算について(数式処理と数学研究への応用)------------------------------74
    岡山理科大学理学部応用数学科   坂本 薫 (Sakamoto, Kaoru)
 
9. Computational algebraic analysis and connection formula--------------------------------------------------------------------------82
    神戸大学理学部   高山 信毅 (Takayama, Nobuki)
 
10. Grobner Bases and Algebra Isomorphism Problem-----------------------------------------------------------------------------------98
    NTT Communication Science Laboratories   白柳 潔 (Shirayanagi, Kiyoshi)
 
11. D - 加群のグレブナ基底の計算とその応用(数式処理と数学研究への応用)-------------------------------------------------------------113
    富士通国際研究所 / 横浜市立大学数学教室   下山 武司 / 大阿久 俊則 (Shimoyama, Takeshi / Oaku, Toshinori)
 
12. 有理型微分方程式の変換(数式処理と数学研究への応用)-----------------------------------------------------------------------------127
    大分大学工学部   大河内 茂美 (Ohkohchi, Shigemi)
 
13. Gardnerの4分割問題について(数式処理と数学研究への応用)-------------------------------------------------------------------------134
    東京電機大学理工学部情報学科   一松 信 (Hitotumatu, Sin)
 
14. Representation of finite groups with CAYLEY------------------------------------------------------------------------------------140
    千葉大学自然科学研究科   脇 克志 (WAKI, Katsushi)
 
15. Global convergence behavior of Newton's method---------------------------------------------------------------------------------144
    Department of mathematics, Faculty of Science and Technology, Sophia University / Department of mathematics, Faculty of Science and Technology, Sophia University   NISHIZAWA, Kiyoko / FUJIMURA, Masayo
 
16. Tex-REDUCEインタフェイスの機能拡張(数式処理と数学研究への応用)-----------------------------------------------------------------160
    九州大学理学部基礎情報学研究施設   仁木 直人 (NIKI, Naoto)
 
17. 数式処理システム risa / asir の内部構造(数式処理と数学研究への応用)------------------------------------------------------------165
    富士通国際研究所 / 富士通国際研究所   野呂 正行 / 竹島 卓
 
18. 2階線形常微分方程式が代数関数解を持つ場合のインプリメンテーション(数式処理と数学研究への応用)----------------------------------171
    津田塾大学   渡辺 隼郎 (Watanabe, Shunro)
 
19. 数式処理システムのGALの移植(数式処理と数学研究への応用)------------------------------------------------------------------------183
    奈良女子大学理学部情報科学科   加古 富志雄 (Kako, Fujio)
 
20. 代数知識のデータベース化の試み(数式処理と数学研究への応用)---------------------------------------------------------------------188
    電子技術総合研究所 / 電子技術総合研究所   元吉 文男 / 秋葉 澄孝 (Motoyoshi, Fumio / Akiba, Sumitaka)