The following pages link to M. V. Zinin (Q840026):
Displayed 5 items.
- Involutive method for computing Gröbner bases over \(\mathbb F_2\) (Q840027) (← links)
- Role of involutive criteria in computing Boolean Gröbner bases (Q840090) (← links)
- BIBasis, a package for REDUCE and Macaulay2 computer algebra systems to compute Boolean involutive and Gröbner bases (Q1758701) (← links)
- On computation of Boolean involutive bases (Q1956959) (← links)
- A pommaret division algorithm for computing Grobner bases in boolean rings (Q5301609) (← links)