zbMATH — the first resource for mathematics

An implementation method of Boolean Gröbner bases and comprehensive Boolean Gröbner bases on general computer algebra systems. (English) Zbl 1434.13003
Hong, Hoon (ed.) et al., Mathematical software – ICMS 2014. 4th international congress, Seoul, South Korea, August 5–9, 2014. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 8592, 531-536 (2014).
Summary: We study an implementation method to compute Boolean Gröbner bases introduced in our previous work [COE Lect. Note 22, 58–62 (2009; Zbl 1186.68581)] in more detail. We extend our method for computing comprehensive Boolean Gröbner bases with a technique introduced in [Y. Sato et al., Lect. Notes Comput. Sci. 5081, 334–348 (2008; Zbl 1166.13303)]. Our work has been implemented on the computer algebra system Risa/Asir. It enables us to do our recent work of a non-trivial application of Boolean Gröbner bases.
For the entire collection see [Zbl 1293.65003].
13-04 Software, source code, etc. for problems pertaining to commutative algebra
13P10 Gröbner bases; other bases for ideals and modules (e.g., Janet and border bases)
68W30 Symbolic computation and algebraic computation
Full Text: DOI