On the Implementation of Boolean Gröbner Bases.

Shutaro Inoue Akira Nagai

Published in: ASCM (2009)

Keyphrases

boolean functions
numerically stable
general purpose
object recognition
real valued
implementation details
multi valued