研究の内容

今回のソフトウェアはわれわれが発見した新アルゴリズムに基づいている. このセクションでは、このアルゴリズムについて概説をあたえる.

• ブール環とグレブナー基底
• 実際の計算