Mikhail V. Zinin

Publication Activity (10 Years)

Years Active: 2008-2012
Publications (10 Years): 0

Top Topics

Computer Algebra Systems

Numerically Stable

Software Package

Top Venues

Program. Comput. Softw.

Publications

Mikhail V. Zinin
BIBasis, a package for reduce and Macaulay2 computer algebra systems to compute Boolean involutive and Gröbner bases. Program. Comput. Softw. 38 (2) (2012)
Vladimir P. Gerdt, Mikhail V. Zinin, Yuri A. Blinkov
On computation of Boolean involutive bases. Program. Comput. Softw. 36 (2) (2010)
Vladimir P. Gerdt, Mikhail V. Zinin
Role of involutive criteria in computing Boolean Gröbner bases. Program. Comput. Softw. 35 (2) (2009)
Vladimir P. Gerdt, Mikhail V. Zinin
\mathbb{F}_2. Program. Comput. Softw. 34 (4) (2008)
Vladimir P. Gerdt, Mikhail V. Zinin
A pommaret division algorithm for computing Grobner bases in boolean rings. ISSAC (2008)