Mikhail V. Zinin

According to our database1, Mikhail V. Zinin authored at least 5 papers between 2008 and 2012.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2012
BIBasis, a package for reduce and Macaulay2 computer algebra systems to compute Boolean involutive and Gröbner bases.
Program. Comput. Softw., 2012

2010
On computation of Boolean involutive bases.
Program. Comput. Softw., 2010

2009
Role of involutive criteria in computing Boolean Gröbner bases.
Program. Comput. Softw., 2009

2008
Involutive method for computing Gröbner bases over \mathbb<i>F</i><sub>2</sub> \mathbb{F}_2.
Program. Comput. Softw., 2008

A pommaret division algorithm for computing Grobner bases in boolean rings.
Proceedings of the Symbolic and Algebraic Computation, International Symposium, 2008


  Loading...