数独の難易度判定のためのブーリアングレブナー基底の並列計算について (数式処理 : その研究と目指すもの)

スポンサーリンク

概要

• 論文の詳細を見る
• 2013-07-00

著者

• 井上 秀太郎

  東京理科大学理学研究科

• 佐藤 洋祐

  東京理科大学

• 井上 秀太郎

  東京理科大学

• 佐藤 洋祐

  東京理科大学理学部数理情報科学科

• 佐藤 裕介

  東京理科大学大学院理学研究科数理情報科学専攻

関連論文

• 多項式剰余環における逆元の計算と準素イデアル分解 (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参加報告
• パラメーターを含む多項式剰余環における逆元の計算について
• Generalized Discrete Comprehensive Grobner Bases (Computer Algebra : Algorithms, Implementations and Applications)
• Discrete Comprehensive Grobner Basesの改良版について
• 媒介変数を係数に含む多項式に対するGrobner basesについて (Computer Algebra : Algorithms, Implementations and Applications)
• Discrete Comprehensive Grobner Basesと計算比較 (Computer Algebra : Design of Algorithms, Implementations and Applications)
• Discrete Comprehensive Grobner Bases の Risa/Asir による実装
• 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)
• グレブナー基底を使った数独の難易度判定と問題作成 (数式処理 : その研究と目指すもの)
• グレブナー基底の安定性に関する研究の最近の進展について
• ブーリアングレブナ基底の計算について
• NTRU暗号の拡張と実装 (第20回日本数式処理学会大会報告)
• 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)
• QEの計算アルゴリズムとその応用-数式処理による最適化, 穴井宏和・横山和弘著, 東京大学出版会, 2011年
• NTRU暗号の拡張と実装
• ブーリアングレブナ基底の時間割作成問題への応用 (数式処理 : その研究と目指すもの)
• 数独の難易度判定のためのブーリアングレブナー基底の並列計算について (数式処理 : その研究と目指すもの)

もっと見る 閉じる

スポンサーリンク