M. V. Zinin

From MaRDI portal
(Redirected from M. V. Zinin)



List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

PublicationDate of PublicationType
BIBasis, a package for REDUCE and Macaulay2 computer algebra systems to compute Boolean involutive and Gröbner bases
Programming and Computer Software
2012-11-16Paper
On computation of Boolean involutive bases
Programming and Computer Software
2010-09-24Paper
Involutive method for computing Gröbner bases over \(\mathbb F_2\)
Programming and Computer Software
2009-09-04Paper
Role of involutive criteria in computing Boolean Gröbner bases
Programming and Computer Software
2009-09-04Paper
A pommaret division algorithm for computing Grobner bases in boolean rings
Proceedings of the twenty-first international symposium on Symbolic and algebraic computation
2009-01-20Paper


Research outcomes over time


This page was built for person: M. V. Zinin