集合制約の解法におけるブーリアングレブナ基底の有効性について
スポンサーリンク
概要
- 論文の詳細を見る
- 日本数式処理学会の論文
- 2009-12-01
著者
関連論文
- ブール多項式環における消去イデアルの計算について (Computer Algebra : Design of Algorithms, Implementations and Applications)
- ブーリアングレブナ基底を使った数独の解法 (Computer Algebra : Design of Algorithms, Implementations and Applications)
- ブーリアングレブナ基底の Risa/Asir での実装と数独への応用
- パラメーターを含む多項式剰余環における逆元の計算について
- NTRU暗号の多変数多項式環への拡張
- Comprehensive グレブナー基底系の分散計算について
- Comprehensive グレブナー基底の分散計算について (Computer Algebra : Design of Algorithms, Implementations and Applications)
- GBによるCGSの計算アルゴリズムとその分散計算について
- 包括的ブーリアングレブナ基底の構成について (Computer Algebra : Design of Algorithms, Implementations and Applications)
- 集合制約の解法におけるブーリアングレブナ基底の有効性について
- A new approach to Calculus of Set (Computer Algebra : Design of Algorithms, Implementations and Applications)
- グレブナー基底を使った数独の難易度判定と問題作成 (数式処理 : その研究と目指すもの)
- ブーリアングレブナ基底の計算について
- NTRU暗号の拡張と実装 (第20回日本数式処理学会大会報告)
- 多変数多項式環を用いたNTRU暗号の拡張 (Computer Algebra : Design of Algorithms, Implementations and Applications)
- ブール多項式環における一変数最小多項式の計算について (Computer Algebra : Design of Algorithms, Implementations and Applications)
- NTRU暗号の拡張と実装
- ブーリアングレブナ基底の時間割作成問題への応用 (数式処理 : その研究と目指すもの)
- 数独の難易度判定のためのブーリアングレブナー基底の並列計算について (数式処理 : その研究と目指すもの)