@techreport{oai:kanazawa-u.repo.nii.ac.jp:00046011, month = {Jun}, note = {多変数超幾何関数について数式処理を利用して新しい公式を導出した。超幾何関数の有理変換公式、A-超幾何多項式の特殊値をグレブナー基底を使わずに高速に計算する手法の開発、パラメータ付きホロノミーD加群に対するアルゴリズム(b-関数)や、グロタンディーク留数の計算アルゴリズムなどの結果を得た。アルゴリズムは、数式処理システムRisa/Asir上にプログラムとして実装した。, We studied and introduced new formula for hypergeometric functions by using technique of computer algebra. Rational Transformation for hypergeometric functions, development of new method for exactly computing special values of A-hypergeometric polynomials without Groebner theory, an algorithm for computing b-functions on parametric D-modules, Grothendieck local residues in special case. We implemented our algorithms on Risa/Asir a computer algebra system., 研究課題/領域番号:25400132, 研究期間(年度):2013-04-01 - 2016-03-31, 出典:研究課題「多変数超幾何関数の計算複素解析と数式処理を用いた公式の導出」課題番号:25400132 (KAKEN:科学研究費助成事業データベース(国立情報学研究所)) (https://kaken.nii.ac.jp/report/KAKENHI-PROJECT-25400132/25400132seika/)を加工して作成, 金沢大学理工研究域数物科学系}, title = {多変数超幾何関数の計算複素解析と数式処理を用いた公式の導出}, year = {2016} }