On implementing the symbolic preprocessing function over Boolean polynomial rings in Gröbner basis algorithms using linear algebra
Crossref DOI link: https://doi.org/10.1007/s11424-015-4085-1
Published Online: 2015-08-29
Published Print: 2016-06
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Sun, Yao
Huang, Zhenyu
Lin, Dongdai
Wang, Dingkang
Text and Data Mining valid from 2015-08-29