No.663

1988/02/01〜1988/02/05

河野　實彦

KONO,MITSUHIKO

目　次

1. 数式処理 : その過去・現在・未来(群と微分方程式の数式処理システムの研究)-----------------------------------------------------------1

　　　　京都大学数理解析研究所　　　一松 信　(Hitotumatu, Sin)

　

2. Formula Database in Computer Algebra System GAL(Algebraic Manipulation for Groups and Differential Equations)---------------------3

　　　　The Institute of Physical and Chemical Research / University of Library and Information Science / University of Library and Information Science　　　佐々木 建昭 / 増永 良文 / 三枝 義典[他]　(Sasaki, T. / Masunaga, Y. / Saigusa, Y.)

　

3. REDUCEでReduceを(群と微分方程式の数式処理システムの研究)-------------------------------------------------------------------------23

　　　　SEIKO EPSON株式会社 / 山梨大学工学研究科　　　鈴木 哲也 / 小野寺 修　(Suzuki, Tetsuya / Onodera, Osamu)

　

4. 2階線形常微分方程式の変換について(群と微分方程式の数式処理システムの研究)--------------------------------------------------------40

　　　　東京大学理学部　　　木村 俊房　(Kimura, Tosihusa)

　

5. The Chu-Vandermonde convolution generates transformation formulas for hypergeometric series(Algebraic Manipulation for Groups and Differential Equations)---47

　　　　佐賀大学教養部　　　上野 一男　(UENO, Kazuo)

　

6. 差分方程式と微分方程式(群と微分方程式の数式処理システムの研究)-------------------------------------------------------------------62

　　　　　　　福原 満州雄　(Hukuhara, Masuo)

　

7. モノドロミー群が可約な大久保型方程式(群と微分方程式の数式処理システムの研究)-----------------------------------------------------77

　　　　城西大学　　　土屋 進　(Tsuchiya, Susumu)

　

8. A Note on the Calculation of Monodromy Groups of Hypergeometric Systems(Algebraic Manipulation for Groups and Differential Equations)---83

　　　　熊本大学理学部　　　河野 實彦　(Kohno, Mitsuhiko)