Login / Signup

Implementation of Boolean Gröbner bases in Risa/Asir.

Shutaro InoueYosuke Sato
Published in: ACM Commun. Comput. Algebra (2009)
Keyphrases