BGSet

BGSet - a software to compute Boolean Gröbner bases.

References in zbMATH (referenced in 1 article )

Showing result 1 of 1.
Sorted by year (citations)

  1. Inoue, Shutaro; Nagai, Akira: On the implementation of Boolean Gröbner bases (2014)