ブーリアングレブナ基底を使った数独の解法 (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)
- ブーリアングレブナ基底の Risa/Asir での実装と数独への応用
- ISSAC2002参加報告
- 行列を使ったグレブナー基底計算 (Computer Algebra : Design of Algorithms, Implementations and Applications)
- パラメーターを含む多項式剰余環における逆元の計算について
- Risa/Asir CGB 関連パッケージの整備(数式処理研究の新たな発展)
- グレブナー基底を用いた包括グレブナー基底計算 (Computer Algebra : Design of Algorithms, Implementations and Applications)
- Generalized Discrete Comprehensive Grobner Bases (Computer Algebra : Algorithms, Implementations and Applications)
- Discrete Comprehensive Grobner Basesの改良版について
- 媒介変数を係数に含む多項式に対するGrobner basesについて (Computer Algebra : Algorithms, Implementations and Applications)
- Comprehensive Grobner basesとVon Neumann regular ring上の多項式環におけるGrobner basesの関係について
- モバイルデバイスにおけるグラフ描画およびユーザインタフェース
- CGSの canonical form に向けての考察
- CGS のcanonical form に向けて(数式処理研究の新たな発展)
- グレブナー基底を用いた包括的グレブナー基底計算
- Boole値設計論
- ブーリアン・グレブナー基底の Syzygy 基底による特徴付け
- 零次元代数的局所コホモロジーを用いた標準基底計算・グレブナー基底計算・メンバーシップ問題の実装
- 効率的なパラメトリック・グレブナ基底計算のテクニック
- Discrete Comprehensive Grobner Basesと計算比較 (Computer Algebra : Design of Algorithms, Implementations and Applications)
- Discrete Comprehensive Grobner Bases の Risa/Asir による実装
- 代数的局所コホモロジーの計算法とそれを用いたスタンダード基底・グレブナー基底計算について (実閉体上の幾何と特異点論への応用)
- 代数的局所コホモロジーの計算法とそれを用いたスタンダード基底・グレブナー基底計算について (Geometry on real closed field and its application to singularity theory)
- NTRU暗号の多変数多項式環への拡張
- 剰余環の逆元と準素イデアル分解
- Comprehensive グレブナー基底系の分散計算について
- Comprehensive グレブナー基底の分散計算について (Computer Algebra : Design of Algorithms, Implementations and Applications)
- 包括的グレブナー基底(系)入門
- 特集 Comprehensive Grobner Bases
- GBによるCGSの計算アルゴリズムとその分散計算について
- 第15回日本数式処理学会大会報告
- 包括的ブーリアングレブナ基底の構成について (Computer Algebra : Design of Algorithms, Implementations and Applications)
- ブール多項式環における Comprehensive グレブナー基底について
- Stability of Grobner bases and ACGB (Computer Algebra : Design of Algorithms, Implementations and Applications)
- ACA 2003、CASC 2003、ASCM 2003 の報告
- 集合制約の解法におけるブーリアングレブナ基底の有効性について
- A new approach to Calculus of Set (Computer Algebra : Design of Algorithms, Implementations and Applications)
- Risa/AsirパッケージPGBの紹介
- パラメトリック・グレブナ基底計算のテクニック
- グレブナー基底を使った数独の難易度判定と問題作成 (数式処理 : その研究と目指すもの)
- グレブナー基底の安定性に関する研究の最近の進展について
- パラメータ付き代数的局所コホモロジーの計算について : 半擬斉次孤立特異点の場合 (数式処理 : その研究と目指すもの)
- ブーリアングレブナ基底の計算について
- 体の直積構造を利用したBoolean Grobner Basisの並列計算アルゴリズムについて (数式処理における理論と応用の研究)
- Semi-quasihomogeneous isolated singularityに付随する代数的局所コホモロジーの計算アルゴリズム (第20回日本数式処理学会大会報告)
- NTRU暗号の拡張と実装 (第20回日本数式処理学会大会報告)
- パラメータ付き零次元代数的局所コホモロジーを用いたパラメトリック・スタンダード基底計算について (Computer Algebra : Design of Algorithms, Implementations and Applications)
- Stability of Grobner bases and ACGB--revised (Computer Algebra-Design of Algorithms, Implementations and Applications研究集会報告集)
- 10年大昔
- 多変数多項式環を用いたNTRU暗号の拡張 (Computer Algebra : Design of Algorithms, Implementations and Applications)
- ブール多項式環における一変数最小多項式の計算について (Computer Algebra : Design of Algorithms, Implementations and Applications)
- CGS計算アルゴリズムのさらなる改良 (Computer Algebra : Design of Algorithms, Implementations and Applications : RIMS研究集会報告集)
- QEの計算アルゴリズムとその応用-数式処理による最適化, 穴井宏和・横山和弘著, 東京大学出版会, 2011年
- パラメータ付き零次元代数的局所コホモロジーを用いたパラメトリック・スタンダード基底計算について (Computer Algebra : Design of Algorithms, Implementations and Applications : RIMS研究集会報告集)
- Semi-quasihomogeneous isolated singularity に付随する代数的局所コホモロジーの計算アルゴリズム
- NTRU暗号の拡張と実装
- $\mu$-constant deformation に対する代数的局所コホモロジーとTjurina stratification (数式処理 : その研究と目指すもの)
- ブーリアングレブナ基底の時間割作成問題への応用 (数式処理 : その研究と目指すもの)
- 数独の難易度判定のためのブーリアングレブナー基底の並列計算について (数式処理 : その研究と目指すもの)
- ASCM'00報告
- ブーリアン・グレブナー基底の並列計算アルゴリズム : KLICによる実装
- ISSAC'98の報告
- Von Neumann regular ring上の多項式環のGrobner basesの応用 : 特別な場合のcomprehensive Grobner bases (数式処理における理論と応用の研究)
- Von Neumann regular ring上の多項式環におけるグレブナー基底について(数式処理における理論と応用の研究)
- ISSAC'97
- ブール多項式環上のグレブナー基底の諸性質について(数式処理における理論とその応用の研究)