微分作用素環用システム kan/sm1

スポンサーリンク

概要

• 論文の詳細を見る
• 2004-11-01

著者

• 高山 信毅

  神戸大学理学部

関連論文

• MEGA 2003, ISSAC 2003, IAMC 2003 報告
• Risa / Asir における新しい形式の数式の取り扱いについて (Computer Algebra : Design of Algorithms, Implementations and Applications)
• OpenXMの新サーバ, 新プロトコル (Computer Algebra : Design of Algorithms, Implementations and Applications)
• Monodromy of the hypergeometric differential equation of type ( k, n )
• 微分作用素環用システム kan/sm1
• Funkcialaj Ekvacioj の遡及電子化中間報告(紀要の電子化と周辺の話題)
• ディジタル数学公式集の現状と未来
• Quadratic Relations for Generalized Hypergeometric Functions (Deformation of differential equations and asymptotic analysis)
• OpenXM 1.1.3の概要 (数式処理における理論と応用の研究)
• OpenXMプロジェクトの現状について (数式処理における理論と応用の研究)
• Open asir入門
• モノミアルカーブに付随したGKZ Hypergeometricのslope (微分方程式論における積分公式とTwisted Cohomology)
• 第2回アジア数学会議印象記
• $D$-加群における$(u,v)$-極小自由分解とその応用 (数式処理における理論と応用の研究)
• $D$加群の極小自由分解 (D-加群のアルゴリズム)
• 加群の積分とその応用(数式処理における理論と応用の研究)
• 局所グレブナ扇 (Computer Algebra : Design of Algorithms, Implementations and Applications)
• OpenXM プロジェクトの過去, 現在, 未来
• $D$加群のアルゴリズムとその数値解析への応用 (数学解析の理論的展開の計算機による支援・遂行可能性)
• Holonomic系の形式巾級数解の構成アルゴリズム
• ICMS2002報告
• グレブナ変形による微分方程式系の解析 (数学解析の計算機上での理論的展開とその遂行可能性)
• 大学と数式処理学会の未来
• FoCM99参加記録
• 超幾何多項式と整数計画法(数式処理における理論と応用の研究)
• ホロノミックシステムの多項式解と有理解を求めるアルゴリズム (数式処理における理論と応用の研究)
• Kan/k0の設計
• 超幾何関数とトーリック多様体(トーリック多様体の幾何と凸多面体)
• Secondary polytope, hypergeometric D-module and connection formulas of $\Delta_1 \times \Delta_{n-1}$-hypergeometric functions(Modern aspects of combinatorial structure on convex polytopes)
• Kan(環):非可換環の得意な数式処理システム(数式処理における理論と応用の研究)
• 環と加群のソフトウエア
• Computational algebraic analysis and connection formula
• 書評 D.コックス・J.リトル・D.オシー(落合啓之・示野信一・西山享・室政和・山本敦子 訳):グレブナ基底と代数多様体入門(上),(下)

もっと見る 閉じる

スポンサーリンク