Shutaro Inoue
From MaRDI portal
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!
| Publication | Date of Publication | Type |
|---|---|---|
| On the implementation of Boolean Gröbner bases Computer Mathematics | 2016-04-12 | Paper |
| On QE algorithms over an algebraically closed field based on comprehensive Gröbner systems Mathematics in Computer Science | 2015-10-30 | Paper |
| Implementation of Boolean Gröbner bases in Risa/Asir ACM Communications in Computer Algebra | 2015-02-26 | Paper |
| An implementation method of Boolean Gröbner bases and comprehensive Boolean Gröbner bases on general computer algebra systems Mathematical Software – ICMS 2014 | 2014-09-08 | Paper |
| Boolean Gröbner bases Journal of Symbolic Computation | 2011-03-31 | Paper |
| On the implementation of Boolean Gröbner bases | 2010-03-10 | Paper |
| On the Computation of Comprehensive Boolean Gröbner Bases Computer Algebra in Scientific Computing | 2009-11-10 | Paper |
| On the Computation of Elimination Ideals of Boolean Polynomial Rings Computer Mathematics | 2009-01-29 | Paper |
Research outcomes over time
This page was built for person: Shutaro Inoue
