Applied Singularity Theory Labo Seminar: F5アルゴリズムを起源とするsignature-basedアルゴリズムの計算方法とその理論（坂田康亮）

Time： 14:45-16:15

Place：Faculty of Science Building  #3, Room 202

Speaker：坂田康亮（横浜国立大学）

Title：F5アルゴリズムを起源とするsignature-basedアルゴリズムの計算方法とその理論

Abstract：多項式環のイデアルの特性を調べるときにそのイデアルのよい生成系であるグレブナ基底を求めることは有用である。その他、グレブナ基底を求める方法は暗号学や代数幾何学など多くの応用研究で使用されている。グレブナ基底を求めるアルゴリズムの研究の進展としては2002年に提案されたF5アルゴリズムが効率的な計算が可能であると知られている。今回、F5アルゴリズムを一般化したsignature-basedアルゴリズムを対象とし、その計算方法と理論について説明する。