布尔多项式的快速Gröbner基计算
Fast Gröbner Basis Computation for Boolean Polynomials
摘要：
我们介绍Macaulay 2包BooleanGB，它使用二进制表示而不是符号表示来计算布尔多项式的Gröbner基。我们比较了几个布尔模型在生物系统中的运行时间，并给出了一个应用数独。
英文摘要：
We introduce the Macaulay2 package BooleanGB, which computes a Gröbner basis for Boolean polynomials using a binary representation rather than symbolic. We compare the runtime of several Boolean models from systems in biology and give an application to Sudoku.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
