グレブナー基底

math

• Buchbergerアルゴリズム

• 多値論理は多項式で表現可能

  • 判断推理 を解ける

資料

• 技術者が知るべき Gröbner 基底
• グレブナー基底入門