Annihilating ideals for an algebraic local cohomology class. - Shinichi Tajima; Yayoi Nakamura (J. Symb. Comput., 2009)

Optimization of picocell locations and its parameters in heterogeneous networks with hotspots. - Hidekazu Shimodaira; Gia Khanh Tran; Shinichi Tajima; Kei Sakaguchi; Kiyomichi Araki; Noriaki Miyazaki; Shoji Kaneko; Satoshi Konishi; Yoji Kishi (PIMRC, 2012)

Study on Resource Optimization for Heterogeneous Networks. - Gia Khanh Tran; Shinichi Tajima; Rindranirina Ramamonjison; Kei Sakaguchi; Kiyomichi Araki; Shoji Kaneko; Noriaki Miyazaki; Satoshi Konishi; Yoji Kishi (IEICE Trans. Commun., 2012)

An Algorithm for Computing the Truncated Annihilating Ideals for an Algebraic Local Cohomology Class. - Takafumi Shibuta; Shinichi Tajima (CASC, 2014)

An Algorithm for Computing Standard Bases by Change of Ordering via Algebraic Local Cohomology. - Katsusuke Nabeshima; Shinichi Tajima (ICMS, 2014)

An Algorithm for Computing Tjurina Stratifications of μ-Constant Deformations by Using Local Cohomology Classes with Parameters. - Katsusuke Nabeshima; Shinichi Tajima (ICMS, 2014)

Developing Linear Algebra Packages on Risa/Asir for Eigenproblems. - Katsuyoshi Ohara; Shinichi Tajima; Akira Terui (ICMS, 2014)

An Extension and Efficient Calculation of the Horner's Rule for Matrices. - Shinichi Tajima; Katsuyoshi Ohara; Akira Terui (ICMS, 2014)

On efficient algorithms for computing parametric local cohomology classes associated with semi-quasihomogeneous singularities and standard bases. - Katsusuke Nabeshima; Shinichi Tajima (ISSAC, 2014)

Efficient Computation of Algebraic Local Cohomology Classes and Change of Ordering for Zero-Dimensional Standard Bases. - Katsusuke Nabeshima; Shinichi Tajima (CASC, 2015)

Computing Logarithmic Vector Fields Associated with Parametric Semi-Quasihomogeneous Hypersurface Isolated Singularities. - Katsusuke Nabeshima; Shinichi Tajima (ISSAC, 2015)

Solving Extended Ideal Membership Problems in Rings of Convergent Power Series via Gröbner Bases. - Katsusuke Nabeshima; Shinichi Tajima (MACIS, 2015)

Comprehensive Gröbner Systems in Rings of Differential Operators, Holonomic D-modules and B-functions. - Katsusuke Nabeshima; Katsuyoshi Ohara; Shinichi Tajima (ISSAC, 2016)

Computing Tjurina stratifications of μ-constant deformations via parametric local cohomology systems. - Katsusuke Nabeshima; Shinichi Tajima (Appl. Algebra Eng. Commun. Comput., 2016)

Algebraic local cohomology with parameters and parametric standard bases for zero-dimensional ideals. - Katsusuke Nabeshima; Shinichi Tajima (J. Symb. Comput., 2017)

Fast Algorithm for Calculating the Minimal Annihilating Polynomials of Matrices via Pseudo Annihilating Polynomials. - Shinichi Tajima; Katsuyoshi Ohara; Akira Terui (CoRR, 2018)

Fast Algorithms for Computing Eigenvectors of Matrices via Pseudo Annihilating Polynomials. - Shinichi Tajima; Katsuyoshi Ohara; Akira Terui (CoRR, 2018)

Comprehensive Gröbner systems in PBW algebras, Bernstein-Sato ideals and holonomic D-modules. - Katsusuke Nabeshima; Katsuyoshi Ohara; Shinichi Tajima (J. Symb. Comput., 2018)

Generalized Integral Dependence Relations. - Katsusuke Nabeshima; Shinichi Tajima (MACIS, 2019)

Solving Parametric Ideal Membership Problems and Computing Integral Numbers in a Ring of Convergent Power Series Via Comprehensive Gröbner Systems. - Katsusuke Nabeshima; Shinichi Tajima (Math. Comput. Sci., 2019)

An Algorithm for Computing Grothendieck Local Residues I: Shape Basis Case. - Katsuyoshi Ohara; Shinichi Tajima (Math. Comput. Sci., 2019)

An Implementation of the Lê-Teissier Method for Computing Local Euler Obstructions. - Shinichi Tajima; Katsusuke Nabeshima (Math. Comput. Sci., 2019)

Computing Logarithmic Vector Fields Along an ICIS Germ via Matlis Duality. - Shinichi Tajima; Takafumi Shibuta; Katsusuke Nabeshima (CASC, 2020)

Computing regular meromorphic differential forms via Saito's logarithmic residues. - Shinichi Tajima; Katsusuke Nabeshima (CoRR, 2020)

An effective method for computing Grothendieck point residue mappings. - Shinichi Tajima; Katsusuke Nabeshima (CoRR, 2020)

An algorithm for computing the Hilbert-Samuel multiplicities and reductions of zero-dimensional ideals of Cohen-Macaulay local rings. - Takafumi Shibuta; Shinichi Tajima (J. Symb. Comput., 2020)

An Algorithm for Computing Grothendieck Local Residues II: General Case. - Katsuyoshi Ohara; Shinichi Tajima (Math. Comput. Sci., 2020)

A New Deterministic Method for Computing Milnor Number of an ICIS. - Shinichi Tajima; Katsusuke Nabeshima (CASC, 2021)

Computing Grothendieck Point Residues via Solving Holonomic Systems of First Order Partial Differential Equations. - Shinichi Tajima; Katsusuke Nabeshima (ISSAC, 2021)

Methods for computing b-functions associated with μ-constant deformations - Case of inner modality 2 -. - Katsusuke Nabeshima; Shinichi Tajima (CoRR, 2021)

A new algorithm for computing logarithmic vector fields along an isolated singularity and Bruce-Roberts Milnor ideals. - Katsusuke Nabeshima; Shinichi Tajima (J. Symb. Comput., 2021)

Testing Zero-Dimensionality of Varieties at a Point. - Katsusuke Nabeshima; Shinichi Tajima (Math. Comput. Sci., 2021)

An Algorithm for Computing Torsion Differential Forms Associated with an Isolated Hypersurface Singularity. - Shinichi Tajima; Katsusuke Nabeshima (Math. Comput. Sci., 2021)

Effective algorithm for computing Noetherian operators of zero-dimensional ideals. - Katsusuke Nabeshima; Shinichi Tajima (Appl. Algebra Eng. Commun. Comput., 2022)

Correction: Effective algorithm for computing Noetherian operators of zero‑dimensional ideals. - Katsusuke Nabeshima; Shinichi Tajima (Appl. Algebra Eng. Commun. Comput., 2022)

Exact Algorithms for Computing Generalized Eigenspaces of Matrices via Annihilating Polynomials. - Shinichi Tajima; Katsuyoshi Ohara; Akira Terui (CoRR, 2022)

Effective Algorithm for Computing Noetherian Operators of Positive Dimensional Ideals. - Katsusuke Nabeshima; Shinichi Tajima (CASC, 2023)

Computing Holonomic D-Modules Associated to a Family of Non-isolated Hypersurface Singularities via Comprehensive Gröbner Systems of PBW Algebra. - Shinichi Tajima; Katsusuke Nabeshima; Katsuyoshi Ohara; Yoko Umeta (Math. Comput. Sci., 2023)

A Deterministic Method for Computing Bertini Type Invariants of Parametric Ideals. - Shinichi Tajima; Katsusuke Nabeshima (Math. Comput. Sci., 2024)