On the Computation of Elimination Ideals of Boolean Polynomial Rings. - Yosuke Sato; Akira Nagai; Shutaro Inoue (ASCM, 2007)

On the parallel computation of comprehensive Gröbner systems. - Shutaro Inoue; Yosuke Sato (PASCO, 2007)

Computation of inverses in residue class rings with parameters. - Shutaro Inoue; Kohei Mukaida; Akira Suzuki; Yosuke Sato (ACM Commun. Comput. Algebra, 2008)

On the Implementation of Boolean Gröbner Bases. - Shutaro Inoue; Akira Nagai (ASCM, 2009)

On the Computation of Comprehensive Boolean Gröbner Bases. - Shutaro Inoue (CASC, 2009)

Implementation of Boolean Gröbner bases in Risa/Asir. - Shutaro Inoue; Yosuke Sato (ACM Commun. Comput. Algebra, 2009)

Boolean Gröbner bases. - Yosuke Sato; Shutaro Inoue; Akira Suzuki; Katsusuke Nabeshima; Kô Sakai (J. Symb. Comput., 2011)

A Mathematical Hierarchy of Sudoku Puzzles and Its Computation by Boolean Gröbner Bases. - Shutaro Inoue; Yosuke Sato (AISC, 2014)

An Implementation Method of Boolean Gröbner Bases and Comprehensive Boolean Gröbner Bases on General Computer Algebra Systems. - Akira Nagai; Shutaro Inoue (ICMS, 2014)

On QE Algorithms over an Algebraically Closed Field Based on Comprehensive Gröbner Systems. - Ryoya Fukasaku; Shutaro Inoue; Yosuke Sato (Math. Comput. Sci., 2015)