著者

小原 功任

出版者

金沢大学

雑誌

基盤研究(C)

巻号頁・発行日

2013-04-01

---

多変数超幾何関数について数式処理を利用して新しい公式を導出した。超幾何関数の有理変換公式、A-超幾何多項式の特殊値をグレブナー基底を使わずに高速に計算する手法の開発、パラメータ付きホロノミーD加群に対するアルゴリズム(b-関数)や、グロタンディーク留数の計算アルゴリズムなどの結果を得た。アルゴリズムは、数式処理システムRisa/Asir上にプログラムとして実装した。