Stability of Grobner bases and ACGB--revised (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)
-
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 による実装
-
剰余環の逆元と準素イデアル分解
-
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 の報告
-
グレブナー基底を使った数独の難易度判定と問題作成 (数式処理 : その研究と目指すもの)
-
グレブナー基底の安定性に関する研究の最近の進展について
-
Stability of Grobner bases and ACGB--revised (Computer Algebra-Design of Algorithms, Implementations and Applications研究集会報告集)
-
10年大昔
-
Strong Partition Cardinal と Spector Forcing(公理的集合論と一般帰納関数論)
-
ブール多項式環における一変数最小多項式の計算について (Computer Algebra : Design of Algorithms, Implementations and Applications)
-
QEの計算アルゴリズムとその応用-数式処理による最適化, 穴井宏和・横山和弘著, 東京大学出版会, 2011年
-
数独の難易度判定のためのブーリアングレブナー基底の並列計算について (数式処理 : その研究と目指すもの)
もっと見る
閉じる
スポンサーリンク