Katsusuke Nabeshima

44 papers B 15Misc 1Journal 21Unranked 6
YearRankTypeTitle / Venue / Authors
2024 J jnl
A Deterministic Method for Computing Bertini Type Invariants of Parametric Ideals.
Math. Comput. Sci.
Shinichi Tajima, Katsusuke Nabeshima
2024 J jnl
Generic Gröbner basis of a parametric ideal and its application to a comprehensive Gröbner system.
Appl. Algebra Eng. Commun. Comput.
Katsusuke Nabeshima
2024 B conf
Merging Multiple Algorithms for Computing Comprehensive Gröbner Systems Using Parallel Processing.
CASC
Natsu Wada, Katsusuke Nabeshima
2024 B conf
On the Radical of a Polynomial Ideal with Parameters.
CASC
Ryosuke Kuramochi, Kazuki Tanaka, Katsusuke Nabeshima
2024 — ed.
Proceedings of the SCSS 2024 Work in Progress Workshop co-located with 10th International Symposium on Symbolic Computation in Software Science (SCSS 2024), Tokyo, Japan, Aug 28-30, 2024.
SCSS (Work in Progress)
Katsusuke Nabeshima, Stephen M. Watt
2023 J jnl
Computing Holonomic D-Modules Associated to a Family of Non-isolated Hypersurface Singularities via Comprehensive Gröbner Systems of PBW Algebra.
Math. Comput. Sci.
Shinichi Tajima, Katsusuke Nabeshima, Katsuyoshi Ohara, Yoko Umeta
2023 B conf
Effective Algorithm for Computing Noetherian Operators of Positive Dimensional Ideals.
CASC
Katsusuke Nabeshima, Shinichi Tajima
2022 J jnl
Correction: Effective algorithm for computing Noetherian operators of zero‑dimensional ideals.
Appl. Algebra Eng. Commun. Comput.
Katsusuke Nabeshima, Shinichi Tajima
2022 J jnl
Effective algorithm for computing Noetherian operators of zero-dimensional ideals.
Appl. Algebra Eng. Commun. Comput.
Katsusuke Nabeshima, Shinichi Tajima
2021 B conf
A New Deterministic Method for Computing Milnor Number of an ICIS.
CASC
Shinichi Tajima, Katsusuke Nabeshima
2021 J jnl
A new algorithm for computing logarithmic vector fields along an isolated singularity and Bruce-Roberts Milnor ideals.
J. Symb. Comput.
Katsusuke Nabeshima, Shinichi Tajima
2021 J jnl
An Algorithm for Computing Torsion Differential Forms Associated with an Isolated Hypersurface Singularity.
Math. Comput. Sci.
Shinichi Tajima, Katsusuke Nabeshima
2021 B conf
Computing Grothendieck Point Residues via Solving Holonomic Systems of First Order Partial Differential Equations.
ISSAC
Shinichi Tajima, Katsusuke Nabeshima
2021 J jnl
Methods for computing b-functions associated with μ-constant deformations - Case of inner modality 2 -.
CoRR
Katsusuke Nabeshima, Shinichi Tajima
2021 J jnl
Testing Zero-Dimensionality of Varieties at a Point.
Math. Comput. Sci.
Katsusuke Nabeshima, Shinichi Tajima
2020 J jnl
An effective method for computing Grothendieck point residue mappings.
CoRR
Shinichi Tajima, Katsusuke Nabeshima
2020 B conf
Computing Logarithmic Vector Fields Along an ICIS Germ via Matlis Duality.
CASC
Shinichi Tajima, Takafumi Shibuta, Katsusuke Nabeshima
2020 B conf
Computing Parametric Standard Bases for Semi-weighted Homogeneous Isolated Hypersurface Singularities.
CASC
Katsusuke Nabeshima
2020 J jnl
Computing regular meromorphic differential forms via Saito's logarithmic residues.
CoRR
Shinichi Tajima, Katsusuke Nabeshima
2020 B conf
Parametric standard system for mixed module and its application to singularity theory.
ISSAC
Hiroshi Teramoto, Katsusuke Nabeshima
2019 J jnl
An Implementation of the Lê-Teissier Method for Computing Local Euler Obstructions.
Math. Comput. Sci.
Shinichi Tajima, Katsusuke Nabeshima
2019 — conf
Generalized Integral Dependence Relations.
MACIS
Katsusuke Nabeshima, Shinichi Tajima
2019 — conf
On Parametric Border Bases.
MACIS
Yosuke Sato, Hiroshi Sekigawa, Ryoya Fukasaku, Katsusuke Nabeshima
2019 J jnl
Solving Parametric Ideal Membership Problems and Computing Integral Numbers in a Ring of Convergent Power Series Via Comprehensive Gröbner Systems.
Math. Comput. Sci.
Katsusuke Nabeshima, Shinichi Tajima
2019 J jnl
Testing zero-dimensionality of varieties at a point.
CoRR
Katsusuke Nabeshima, Shinichi Tajima
2018 J jnl
Comprehensive Gröbner systems in PBW algebras, Bernstein-Sato ideals and holonomic
J. Symb. Comput.
Katsusuke Nabeshima, Katsuyoshi Ohara, Shinichi Tajima
2017 J jnl
Algebraic local cohomology with parameters and parametric standard bases for zero-dimensional ideals.
J. Symb. Comput.
Katsusuke Nabeshima, Shinichi Tajima
2016 B conf
Comprehensive Gröbner Systems in Rings of Differential Operators, Holonomic D-modules and B-functions.
ISSAC
Katsusuke Nabeshima, Katsuyoshi Ohara, Shinichi Tajima
2016 J jnl
Computing Tjurina stratifications of μ-constant deformations via parametric local cohomology systems.
Appl. Algebra Eng. Commun. Comput.
Katsusuke Nabeshima, Shinichi Tajima
2015 J jnl
Algebraic Local Cohomology with Parameters and Parametric Standard Bases for Zero-Dimensional Ideals.
CoRR
Katsusuke Nabeshima, Shinichi Tajima
2015 B conf
Computing Logarithmic Vector Fields Associated with Parametric Semi-Quasihomogeneous Hypersurface Isolated Singularities.
ISSAC
Katsusuke Nabeshima, Shinichi Tajima
2015 B conf
Efficient Computation of Algebraic Local Cohomology Classes and Change of Ordering for Zero-Dimensional Standard Bases.
CASC
Katsusuke Nabeshima, Shinichi Tajima
2015 — conf
Solving Extended Ideal Membership Problems in Rings of Convergent Power Series via Gröbner Bases.
MACIS
Katsusuke Nabeshima, Shinichi Tajima
2014 — conf
An Algorithm for Computing Standard Bases by Change of Ordering via Algebraic Local Cohomology.
ICMS
Katsusuke Nabeshima, Shinichi Tajima
2014 — conf
An Algorithm for Computing Tjurina Stratifications of μ-Constant Deformations by Using Local Cohomology Classes with Parameters.
ICMS
Katsusuke Nabeshima, Shinichi Tajima
2014 B ed.
International Symposium on Symbolic and Algebraic Computation, ISSAC '14, Kobe, Japan, July 23-25, 2014
ISSAC
Katsusuke Nabeshima, Kosaku Nagasaka, Franz Winkler, Ágnes Szántó
2014 B conf
On efficient algorithms for computing parametric local cohomology classes associated with semi-quasihomogeneous singularities and standard bases.
ISSAC
Katsusuke Nabeshima, Shinichi Tajima
2012 B conf
Stability Conditions of Monomial Bases and Comprehensive Gröbner Systems.
CASC
Katsusuke Nabeshima
2011 J jnl
Boolean Gröbner bases.
J. Symb. Comput.
Yosuke Sato, Shutaro Inoue, Akira Suzuki, Katsusuke Nabeshima, Kô Sakai
2009 J jnl
Reduced Gröbner Bases in Polynomial Rings over a Polynomial Ring.
Math. Comput. Sci.
Katsusuke Nabeshima
2007 B conf
A speed-up of the algorithm for computing comprehensive Gröbner systems.
ISSAC
Katsusuke Nabeshima
2007 J jnl
PGB: a package for computing parametric Gröbner and related objects.
ACM Commun. Comput. Algebra
Katsusuke Nabeshima
2005 — conf
A Computation Method for ACGB-V.
Algorithmic Algebra and Logic
Katsusuke Nabeshima
2005 Misc conf
A Direct Products of Fields Approach to Comprehensive Gröbner Bases over Finite Fields.
SYNASC
Katsusuke Nabeshima