Details:
Title | | Author(s) | Elizabeth A. Arnold, Franziska Hinkelmann | Type | Manual | Abstract | We introduce the Macaulay2 package BooleanGB, which computes a Gr\"obner 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. | Length | 18 |
URL |
http://arxiv.org/abs/1010.2669 |
Language | English | Year | 2010 | Month | October | Translation |
No | Refereed |
No |
|