Shinichi Tajima

dblp:35/7053 · DBLP profile ↗
← Back
17ranked-venue papers
5as first author
6since 2021 · last 2026
0009-0007-5154-2976ORCID · corroborated

Domains — the database's venue-derived domains; a paper can count in several

Theory of computation · 16 · 5 first-author · 6 since 2021
YearPublicationVenuePosition
2026 Testing Tameness of Complex Polynomial Mappings and Computing Their Bifurcation Sets
Katsusuke Nabeshima, Shinichi Tajima
CASC2
2026 Computing Grothendieck Point Residues via Solving Holonomic Systems of First Order Partial Differential Equations II
abstract
Grothendieck point residues are studied in the context of symbolic computation. Based on the theory of holonomic D-modules associated with local cohomology, we introduce new effective algorithms for computing Grothendieck residue mappings and residues. The strategies are to use holonomic systems of first order linear partial differential operators for the relevant local cohomology classes and to avoid syzygy computations in deriving these operators.
Shinichi Tajima, Katsusuke Nabeshima
ISSAC1
2023 Effective Algorithm for Computing Noetherian Operators of Positive Dimensional Ideals
Katsusuke Nabeshima, Shinichi Tajima
CASC2
2021 A New Deterministic Method for Computing Milnor Number of an ICIS
Shinichi Tajima, Katsusuke Nabeshima
CASC1
2021 Computing Grothendieck Point Residues via Solving Holonomic Systems of First Order Partial Differential Equations
abstract
Grothendieck point residue is considered in the context of symbolic computation. Based on the theory of holonomic D-modules associated to a local cohomology class, a new effective method is given for computing Grothendieck point residue mappings. A basic strategy of our approach is the use of holonomic systems of first order linear partial differential equations. The resulting algorithm is easy to implement and can also be used to compute Grothendieck point residues in an effective manner.
Shinichi Tajima, Katsusuke Nabeshima
ISSAC1
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.2
2020 Computing Logarithmic Vector Fields Along an ICIS Germ via Matlis Duality
Shinichi Tajima, Takafumi Shibuta, Katsusuke Nabeshima
CASC1
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.2
2018 Comprehensive Gröbner systems in PBW algebras, Bernstein-Sato ideals and holonomic D-modules
Katsusuke Nabeshima, Katsuyoshi Ohara, Shinichi Tajima
J. Symb. Comput.3
2017 Algebraic local cohomology with parameters and parametric standard bases for zero-dimensional ideals
Katsusuke Nabeshima, Shinichi Tajima
J. Symb. Comput.2
2016 Comprehensive Gröbner Systems in Rings of Differential Operators, Holonomic D-modules and B-functions
abstract
An algorithm for computing comprehensive Gröbner systems (CGS) is introduced in rings of linear partial differential operators. Their applications to b-functions are considered. The resulting algorithm designed for a wide use of computing comprehensive Gröbner systems can be used to compute all the roots of b-functions and relevant holonomic D-modules. Furthermore, with our implementation, effective methods are illustrated for computing holonomic D-modules associated with hypersurface singularities. It is shown that the proposed algorithm is full of versatility.
Katsusuke Nabeshima, Katsuyoshi Ohara, Shinichi Tajima
ISSAC3
2015 Efficient Computation of Algebraic Local Cohomology Classes and Change of Ordering for Zero-Dimensional Standard Bases
Katsusuke Nabeshima, Shinichi Tajima
CASC2
2015 Computing Logarithmic Vector Fields Associated with Parametric Semi-Quasihomogeneous Hypersurface Isolated Singularities
abstract
Logarithmic vector fields associated with parametric semi-quasihomogeneous hypersurface isolated singularities are considered in the context of symbolic computation. A new algorithm for computing the logarithmic vector fields is introduced. The keys of this approach are the concept of a polar variety and parametric local cohomology systems. The resulting algorithm also provides a decomposition of the parameter space depending on the structure of the logarithmic vector fields.
Katsusuke Nabeshima, Shinichi Tajima
ISSAC2
2014 An Algorithm for Computing the Truncated Annihilating Ideals for an Algebraic Local Cohomology Class
Takafumi Shibuta, Shinichi Tajima
CASC2
2014 On efficient algorithms for computing parametric local cohomology classes associated with semi-quasihomogeneous singularities and standard bases
abstract
A new algorithm is given for computing parametric local cohomology classes associated with semi-quasihomogeneous singularities. The essential point of the proposed algorithm involves Poincaré polynomials and weighted degrees. The proposed algorithm gives a suitable decomposition of the parameter space depending on the structure of the parametric local cohomology classes. As an application, an algorithm for computing parametric standard bases of zero-dimensional ideals, is given. These algorithms work for non-parametric cases, too.
Katsusuke Nabeshima, Shinichi Tajima
ISSAC2
2012 Optimization of picocell locations and its parameters in heterogeneous networks with hotspots
abstract
This work analyzes the optimal pico base station (BS) deployment in heterogeneous cellular networks (HetNet) with hotspots. Most of conventional works for HetNet focused on interference coordination and effective cell association methods, however, the problem of pico BS deployment (cell planning) for HetNet with hotspots has not been analyzed so much. In this paper, we extend the previously proposed optimization problem in terms of network parameters (spectrum splitting ratio and SINR bias value) to the optimal pico BS locations to maximize the system rate. Furthermore, the average user and outage user rates are evaluated numerically to show the effectiveness of the proposed optimization method. Numerical results show that the optimized pico BS locations can improve both the average and outage user rates in HetNet with hotspots.
Hidekazu Shimodaira, Gia Khanh Tran, Shinichi Tajima, Kei Sakaguchi, Kiyomichi Araki, Noriaki Miyazaki, Shoji Kaneko, Satoshi Konishi, Yoji Kishi
PIMRC3
2009 Annihilating ideals for an algebraic local cohomology class
Shinichi Tajima, Yayoi Nakamura
J. Symb. Comput.1