零次元代数的局所コホモロジーを用いた標準基底計算・グレブナー基底計算・メンバーシップ問題の実装
スポンサーリンク
概要
- 論文の詳細を見る
- 2009-12-01
著者
-
田島 慎一
新潟大学工学部情報工学科
-
田島 慎一
新潟大学工学部
-
鍋島 克輔
大阪大学情報科学研究科
-
中村 弥生
近畿大学理工学部
-
鍋島 克輔
大阪大学大学院情報科学研究科
-
鍋島 克輔
徳島大学ソシオ・アーツ・アンド・サイエンス研究部
関連論文
- 行列のスペクトル分解・固有ベクトルの分散計算 (Computer Algebra : Design of Algorithms, Implementations and Applications)
- レゾルベントを用いた固有ベクトル計算 (Computer Algebra : Design of Algorithms, Implementations and Applications)
- 濃淡画像のRidgelet変換符号化--Watershed領域分割とセマンティックオブジェクトの回転
- Watershed分割によるSemantic ObjectのRidgelet表現
- A-6-5 Watershed領域分割によるSemantic ObjectのRidgelet表現(A-6. 情報理論)
- 係数ドメインを多項式環とする多項式環の簡約グレブナ基底について (Computer Algebra : Design of Algorithms, Implementations and Applications)
- 3X-4 3次元ラドン変換を用いたサーフェスモデルレジストレーション : 位置ずれ・回転ずれの評価(3次元画像処理・認識,学生セッション,人工知能と認知科学,情報処理学会創立50周年記念)
- ブーリアングレブナ基底を使った数独の解法 (Computer Algebra : Design of Algorithms, Implementations and Applications)
- 零次元代数的局所コホモロジーの計算法とスタンダード基底計算について(II) (Computer Algebra : Design of Algorithms, Implementations and Applications)
- Theorem of Cauchy-Kowalewsky and microdifferential operators(Developments of Algebraic Analysis)
- 有理関数のローラン展開アルゴリズムと代数的局所コホモロジー (Computer Algebra : Design of Algorithms, Implementations and Applications)
- Risa/Asir CGB 関連パッケージの整備(数式処理研究の新たな発展)
- Generalized Discrete Comprehensive Grobner Bases (Computer Algebra : Algorithms, Implementations and Applications)
- Discrete Comprehensive Grobner Basesの改良版について
- 行列の最小多項式の計算について
- 行列のスペクトル分解について
- 孤立特異点に付随する代数的局所コホモロジーとヤコビイデアルに対するグレブナー基底の計算法 (Computer Algebra : Design of Algorithms, Implementations and Applications)
- Holonomic な定数係数線形偏微分方程式系と Grothendieck duality(積分核の代数解析的研究)
- 孤立特異点に付随する代数的局所コホモロジーとホロノミック系 (Recent Topics on Real and Complex Singularities)
- 零次元代数的局所コホモロジーの計算法とスタンダード基底計算について (Computer Algebra : Design of Algorithms, Implementations and Applications)
- 零次元代数的局所コホモロジー類に付随するホロノミック系の構成アルゴリズム (超局所解析の展望)
- 零次元代数的局所コホモロジーを用いた標準基底計算・グレブナー基底計算・メンバーシップ問題の実装
- Syzygies を用いたNoether 作用素計算アルゴリズム (Computer Algebra : Design of Algorithms, Implementations and Applications)
- Inner modality 4以下の半擬斉次孤立特異点に付随したホロノミック系について (超局所解析とその周辺)
- Hermite-Jacobi再生核の計算代数解析 (再生核の理論の応用)
- 代数的局所コホモロジー類の満たすホロノミック系の構成法についてII (Computer Algebra : Algorithms, Implementations and Applications)
- Bimodal例外型特異点とholonomic系 (Painleve系と超幾何系)
- holonomic系を用いた半擬斉次孤立特異点の考察 (ニュートン図形と特異点)
- Milnor algebraに付随したHolonomic系について (微分方程式論における積分公式とTwisted Cohomology)
- Unimodal例外型特異点における代数的局所コホモロジー類 (微分方程式の漸近解析と超局所解析)
- 代数的局所コホモロジー類の満たすホロノミック系の構成法について (数式処理における理論と応用の研究)
- 擬斉次孤立特異点の標準形に対する双対基底の計算 (D-加群のアルゴリズム)
- Conjectures about the differential operators in an algorithm for computing the residues (Microlocal Analysis and PDE in the Complex Domain)
- Computing point residues for a shape basis case via differential operators (Microlocal Analysis and Related Topics)
- D加群を用いた多変数留数値計算(shape lemmaを満たす場合)
- D-加群を用いた留数値計算アルゴリズムの局所化
- On asymptotic estimates for coefficients of divergent solutions to second order non-homogeneous linear ordinary differential equations (Complex Analysis and Microlocal Analysis)
- 多変数有理関数の留数計算について (数式処理における理論と応用の研究)
- 多項式係数を持つ非斉次線形常微分方程式の形式解の係数に関する評価(複素領域の偏微分方程式)
- Multidimensional local residues and holonomic D-modules(Singularities and Complex Analytic Geometry)
- 微分作用素を用いた有理関数の留数計算とHorowitz's algorithm(数式処理における理論と応用の研究)
- 行列のスペクトル分解アルゴリズム : 最小多項式が重複因子を持つ場合
- 行列のスペクトル分解アルゴリズムについて (Computer Algebra : Design of Algorithms, Implementations and Applications)
- ネーター作用素計算におけるモニックでない多項式による割り算の効率化(数式処理研究の新たな発展)
- コーシー問題の解法とアルゴリズム (Computer Algebra : Design of Algorithms, Implementations and Applications)
- 多変数留数の計算代数解析とホロノミーD加群(情報物理学の数学的構造)
- 剰余体$K[x]/〈f〉$における逆冪計算 (Computer Algebra : Design of Algorithms, Implementations and Applications)
- 多項式剰余公式の計算アルゴリズム (Computer Algebra : Design of Algorithms, Implementations and Applications)
- 一変数留数計算アルゴリズムについて(積分核の代数解析的研究)
- 効率的なパラメトリック・グレブナ基底計算のテクニック
- 複素数値の位相函数とその応用 (超函数と線型微分方程式 VI)
- 代数的局所コホモロジーの計算法とそれを用いたスタンダード基底・グレブナー基底計算について (実閉体上の幾何と特異点論への応用)
- 特異点除去に対応するde Rham系の積分の計算(複素解析幾何学とその周辺の研究)
- 代数的局所コホモロジーの計算法とそれを用いたスタンダード基底・グレブナー基底計算について (Geometry on real closed field and its application to singularity theory)
- 高速留数計算アルゴリズム (Computer Algebra : Design of Algorithms, Implementations and Applications)
- Noether作用素と多変数留数計算アルゴリズム (超局所解析とその周辺)
- 零次元準素イデアルとNoether作用素アルゴリズム (Computer Algebra : Design of Algorithms, Implementations and Applications)
- 確定特異点型ホロノミック系の零次元代数的局所コホモロジ-解 (双曲形方程式と非正則度)
- 非同次常微分方程式の可解条件についてII (Computer Algebra : Algorithms, Implementations and Applications)
- 多変数留数のbiorthogonal基底(双対基底)と偏微分作用素 (Painleve系と超幾何系)
- Algorithms for computing Grothendieck local residues : improvement with a rescue step (Newton polyhedrons and Singularities)
- ロドリーグの公式について (微分方程式論における積分公式とTwisted Cohomology)
- Risa/AsirパッケージPGBの紹介
- パラメトリック・グレブナ基底計算のテクニック
- 非同次常微分方程式の可解条件について (完全最急降下法)
- 拡張行列ホーナー法と行列スペクトル分解の並列算法 (数式処理 : その研究と目指すもの)
- パラメータ付き代数的局所コホモロジーの計算について : 半擬斉次孤立特異点の場合 (数式処理 : その研究と目指すもの)
- 零次元代数的局所コホモロジー類に対する偏微分方程式系のスタンダード基底 (数式処理 : その研究と目指すもの)
- 代数的局所コホモロジー類のローラン展開とL. EhrenpreisのNoether作用素 (数式処理における理論と応用の研究)
- 偏微分作用素を用いた多変数留数計算アルゴリズムと中国剰余定理 (数式処理における理論と応用の研究)
- 定数係数線形偏微分方程式系のコーシー問題とグレブナ双対性
- D. Siersma, R. Pellikaan らの versal I-unfoldings と局所コホモロジー (数式処理研究の新たな発展)
- 非斉次常微分方程式の可解条件を計算するアルゴリズム
- 常微分作用素環におけるイデアルの共通部分 : グレブナ基底を用いた計算法とその利用例 (D-加群のアルゴリズム)
- Grothendieck dualityの計算と多変数Hermite補間問題 (数式処理における理論と応用の研究)
- Novikov's work on non-linear quasi-classical approximations(Geometric methods in asymptotic analysis)
- 電場下のBloch波動関数とBerry phase(超函数と微分方程式)
- Radon変換と擬微分作用素
- Cauchy-Fantappie 型積分核に対する Microlocal な Homotopy 公式について
- Levi problem for local cohomology classes and Bochner-Martinelli form associated to a supporting subvariety(Microlocal Analysis of Differential Equations)
- Residual currents and tensor products of holonomic systems
- Introduction to hte chiral anomaly in superfluid $^3$He-A and boojums$^\ast$ on the Fermi surface
- 平面曲線に台を持つholonomic系のRosenlicht型構造定理について(代数解析学の諸相)
- $\overline{\partial}_b$-cohomology と Bochner-Martinelli核(複素解析と複素幾何)
- H. Lewy現象と再生核(偏微分方程式系の局所非局所変換理論)
- H.Lewy's extension problemと接CR方程式系(超局所解析と大域解析)
- Cauchy-Riemann多様体上の代数解析 : 偏微分方程式系の正則解の解析接続 (微分方程式の超局所解析)
- Semi-quasihomogeneous isolated singularityに付随する代数的局所コホモロジーの計算アルゴリズム (第20回日本数式処理学会大会報告)
- パラメータ付き零次元代数的局所コホモロジーを用いたパラメトリック・スタンダード基底計算について (Computer Algebra : Design of Algorithms, Implementations and Applications)
- 行列のスペクトル分解アルゴリズム : 最小多項式が複数の重複因子から成る場合 (Computer Algebra : Design of Algorithms, Implementations and Applications)
- 行列の最小消去多項式候補を利用した固有ベクトル計算 (Computer Algebra : Design of Algorithms, Implementations and Applications)
- 微分作用素を用いたレゾルベントの留数解析と行列のスペクトル分解 (Computer Algebra : Design of Algorithms, Implementations and Applications)
- パラメータ付き零次元代数的局所コホモロジーを用いたパラメトリック・スタンダード基底計算について (Computer Algebra : Design of Algorithms, Implementations and Applications : RIMS研究集会報告集)
- Semi-quasihomogeneous isolated singularity に付随する代数的局所コホモロジーの計算アルゴリズム
- $\mu$-constant deformation に対する代数的局所コホモロジーとTjurina stratification (数式処理 : その研究と目指すもの)
- Univalence and starlikeness of a function defined by convolution of analytic function and hypergeometric function $_3F_2$ (Some inequalities concerned with the geometric function theory)