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...