鍋島 克輔 | 徳島大学ソシオ・アーツ・アンド・サイエンス研究部
スポンサーリンク
概要
関連著者
-
鍋島 克輔
徳島大学ソシオ・アーツ・アンド・サイエンス研究部
-
鍋島 克輔
大阪大学大学院情報科学研究科
-
鍋島 克輔
大阪大学情報科学研究科
-
田島 慎一
新潟大学工学部
-
鍋島 克輔
科学技術振興機構
-
田島 慎一
筑波大学大学院数理物質科学研究科
-
鈴木 晃
神戸大学情報管理室
-
中村 弥生
近畿大学理工学部
-
佐藤 洋祐
東京理科大学理学部
-
佐藤 洋祐
東京理科大学
-
鍋島 克輔
徳島大学大学院ソシオ・アーツ・アンド・サイエンス研究部
-
佐藤 洋祐
立命館大学理工学部
-
鍋島 克輔
立命館大学理工学部
-
田島 慎一
新潟大学工学部情報工学科
-
倉田 陽介
神戸大学自然科学研究科
-
井上 秀太郎
東京理科大学理学研究科
-
鍋島 克輔
RISC-Linz, Johannes Kepler Universitat
-
鈴木 晃
神戸大学自然科学研究科
-
鈴木 晃
神戸大学大学院自然科学研究科
-
倉田 陽介
神戸大学 自然科学研究科
-
鍋島 克輔
Research Institute for Symbolic Computation (RISC-Linz), Johannes Kepler Universitat Linz
-
井上 秀太郎
東京理科大学
-
鍋島 克輔
大阪大学大学院情報科学研究科・(独)科学技術振興機構, CREST
著作論文
- 係数ドメインを多項式環とする多項式環の簡約グレブナ基底について (Computer Algebra : Design of Algorithms, Implementations and Applications)
- ブーリアングレブナ基底を使った数独の解法 (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の改良版について
- 零次元代数的局所コホモロジーを用いた標準基底計算・グレブナー基底計算・メンバーシップ問題の実装
- 効率的なパラメトリック・グレブナ基底計算のテクニック
- 代数的局所コホモロジーの計算法とそれを用いたスタンダード基底・グレブナー基底計算について (実閉体上の幾何と特異点論への応用)
- 代数的局所コホモロジーの計算法とそれを用いたスタンダード基底・グレブナー基底計算について (Geometry on real closed field and its application to singularity theory)
- Risa/AsirパッケージPGBの紹介
- パラメトリック・グレブナ基底計算のテクニック
- パラメータ付き代数的局所コホモロジーの計算について : 半擬斉次孤立特異点の場合 (数式処理 : その研究と目指すもの)
- Semi-quasihomogeneous isolated singularityに付随する代数的局所コホモロジーの計算アルゴリズム (第20回日本数式処理学会大会報告)
- パラメータ付き零次元代数的局所コホモロジーを用いたパラメトリック・スタンダード基底計算について (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 (数式処理 : その研究と目指すもの)