Katsusuke Nabeshima

Department of Applied Mathematics, Tokyo University of Science
Associate Professor
nabeshima@rs.tus.ac.jp

Address: 1-3, Kagurazaka, Shinjuku-ku, Tokyo, 162-8601, Japan

Vice president of Japan Society for symbolic and algebraic computation
 

Go to Japanese page

I am interested in computer algebra.

Short Curriculum Vitae:

My implementations:


Refereed Papers:

 56: Katsusuke Nabeshima,
Generic Gröbner basis of a parametric ideal and its application to a comprehensive Gröbner systems,
Applicable Algebra in Engineering, Communication and Computing, 2024
(DOI: 10.1007/s00200-023-00620-8)
 55: Hiroshi Teramoto and Katsusuke Nabeshima,
Comprehensive standard system for generalized mixed module and its application to singularity theory,
Journal of Algebra and its Applications, 2024
(DOI: 10.1142/S0219498824502219)
 54: Katsusuke Nabeshima and Shinichi Tajima,
Effective Algorithm for computing Noetherian operators of positive-dimensional ideals,
Proc. Computer Algebra in Scientific Computing (CASC 2023), Lecture Notes in Computer Science. Vol. 14139, Springer. pp.272--291, 2023
(DOI: 10.1007/978-3-031-41724-5_15)
 53: Shinichi Tajima, Katsusuke Nabeshima, Katsuyoshi Ohara and Yoko Umeta,
Computing holonomic D-modules associated to a family of non-isolated hypersurface singularities via comprehensive Gröbner systems of PBW algebra,
Mathematics in Computer Science, Vol.17, Article: 6, 2023 (22 pages)
(DOI: 10.1007/s11786-022-00553-4)
 52: Katsusuke Nabeshima and Shinichi Tajima,
CSSg method for several genericities of parametric systems,
Japan Journal of Industrial and Applied Mathematics, Vol. 40, pp. 315--337, 2023.
(DOI: 10.1007/s13160-022-00520-3)
 51: Katsusuke Nabeshima and Shinichi Tajima,
Effective Algorithm for computing Noetherian operators of zero-dimensional ideals,
Applicable Algebra in Engineering, Communication and Computing, Vol. 33, pp. 867--899, 2022
(DOI: 10.1007/s00200-022-00570-7) pre-print version (maybe this is better)

 50: Shinichi Tajima and Katsusuke Nabeshima,
An effective method for computing Grothendieck point residue mappings,
Journal of Algebra , Vol. 593, pp. 568--588, 2022
(DOI: 10.1016/j.jalgebra.2021.11.013)
 49: Shinichi Tajima and Katsusuke Nabeshima,
A new deterministic method for computing Milnor number of an ICIS,
Proc. Computer Algebra in Scientific Computing (CASC 2021), Lecture Notes in Computer Science. , Vol. 12865, Springer. pp.391--408, 2021
(DOI: 10.1007/978-3-030-85165-1_22)
 48: Shinichi Tajima and Katsusuke Nabeshima,
Computing Grothendieck point residues via solving holonomic systems of first order partial differential equations,
Proc. International Symposium on Symbolic and Algebraic Computation (ISSAC' 2021), ACM, pp. 361--368, 2021
(DOI: 110.1145/3452143.3465526)
 47: Katsusuke Nabeshima and Shinichi Tajima,
Testing zero-dimensionality of a variety at a point,
Mathematics in Computer Science, Vol. 15, pp. 317--331, 2021
(DOI: 10.1007/s11786-020-00484-y)
 46: Shinichi Tajima and Katsusuke Nabeshima,
An algorithm for computing torsion differential forms associated to an isolated hypersurface singularity,
Mathematics in Computer Science, Vol. 15, pp. 353--367, 2021
(DOI: 10.1007/s11786-020-00486-w)
 45: Katsusuke Nabeshima and Shinichi Tajima,
A new algorithm for computing logarithmic vector fields along an isolated singularity and Bruce-Roberts Milnor ideals.
Journal of symbolic computation, Vol.107, pp. 190--208. 2021
(DOI: 10.1016/j.jsc.2021.03.003)
 44: Katsusuke Nabeshima and Shinichi Tajima,
Methods for computing b-functions associated with μ-constant deformations -- Case of inner modality two --.
Kyushu Journal of Mathematics, Vol.75, pp. 55--76. 2021
(DOI: 10.2206/kyushujm.75.55)
 43: Shinichi Tajima and Katsusuke Nabeshima,
Computing regular meromorphic differential forms via Saito's logarithmic residues.
SIGMA, Vol. 17, 019, 21 pages, 2021.
(DOI: 10.3842/SIGMA.2021.019)
 42: Katsusuke Nabeshima,
Computing parametric standard bases for semi-weighted homogeneous isolated hypersurface singularities.
Proc. CASC' 2020, Lecture Notes in Computer Science, Vol. 12291, Springer, pp. 447--460. 2020
(DOI: 10.1007/978-3-030-60026-6_26)
 41: Shinichi Tajima, Takafumi Shibuta and Katsusuke Nabeshima
Computing logarithmic vector fields along an ICIS germ via matlis duality.
Proc. CASC' 2020, Lecture Notes in Computer Science, Vol. 12291, Springer, pp. 543--562. 2020
(DOI: 10.1007/978-3-030-60026-6_32)
 40: Hiroshi Taramoto and Katsusuke Nabeshima,
Parametric standard system for mixed module and its application to singularity theory.
Proc. International Symposium on Symbolic and Algebraic Computation (ISSAC' 2020), ACM, pp. 426--433. 2020
(DOI: 10.1145/3373207.3404027)
 39: Katsusuke Nabeshima and Shinichi Tajima,
Generalized integral dependence relations,
Proc. Mathematical Aspects of Computer and Information Sciences, 2019, Lecture Notes in Computer Science, Vol. 11989, Springer, pp. 48--63. 2020
(DOI: 10.1007/978-3-030-43120-4_6)
 38: Yosuke Sato, Hiroshi Sekigawa, Ryoya Fukasaku and Katsusuke Nabeshima
On parametric border bases,
Proc. Mathematical Aspects of Computer and Information Sciences, 2019, Lecture Notes in Computer Science, Vol. 11989, Springer, pp. 10--15. 2020
(DOI: 10.1007/978-3-030-43120-4_2)
 37: Katsusuke Nabeshima and Shinichi Tajima,
Computing logarithmic vector fields and Bruce-Roberts Milnor numbers via local cohomology classes,
Revue Roumaine Mathematiques Pures et Appliquees, Vol.64, No.4, 521-538 , 2019
 36: Katsusuke Nabeshima and Shinichi Tajima,
Alternative algorithms for computing generic μ*-sequences and local Euler obstructions of isolated hypersurface singularities,
Journal of Algebra and its Applications, Vol.13, No.8, 1959156 (13pages), 2019,
(DOI: 10.1142/S0219498819501561)
 35: Shinichi Tajima and Katsusuke Nabeshima,
An implementation of the Lê-Teissier method for computing local Euler obstructions,
Mathematics in Computer Science, Vol.13, No.1, pp. 273--280, 2019.
(DOI: 10.1007/s11786-018-0366-0)
 34: Katsusuke Nabeshima and Shinichi Tajima,
Solving parametric ideal membership problems and computing integral numbers in a ring of convergent power series via comprehensive Gröbner systems,
Mathematics in Computer Science, Vol.13, No.1, pp. 185--194, 2019.
(DOI: 10.1007/s11786-018-0354-4)
 33: Katsusuke Nabeshima and Shinichi Tajima,
Computation methods of logarithmic vector fields associated with semi-weighted homogeneous isolated hypersurface singularities,
Tsukuba Journal of Mathematics , Vol. 42-2, pp. 192--231, 2018.
(DOI: 10.21099/tkbjm/1554170422)
 32: Yosuke Sato, Ryoya Fukasakua and Katsusuke Nabeshima,
On Applications of Technology to Understanding Hierarchies of Elementary Geometry,
Proc. Asian Technology Conference in Mathematics 2018, Published by Mathematics and Technology, LLC, pp. 176--185 , 2018.
(ISBN: 978-0-9972807-2-2, ISSN 1940-4204)
 31: Katsusuke Nabeshima and Shinichi Tajima,
A new method for computing the limiting tangent space of an isolated hypersurface singularity via algebraic local cohomology,
Advanced Studies in Pure Mathematics,Vol. 78, pp.331--344, 2018
(DOI: 10.2969/aspm/07810331)
 30: Katsusuke Nabeshima Katsuyoshi Ohara and Shinichi Tajima,
Comprehensive Gröbner systems in PBW algebras, Bernstein-Sato ideals and holonomic D-modules,
Journal of Symbolic Computation, Vol. 89, pp.146--170, 2018.
(DOI: 10.1016/j.jsc.2017.11.010)
 29: Katsusuke Nabeshima and Shinichi Tajima,
Comprehensive Gröbner systems aprroach to b-functions of μ-constant deformations.,
Saitama Mathematical Journal, Vol. 31, pp.115--136, 2017
 28: Katsusuke Nabeshima and Shinichi Tajima,
Computing μ*-sequences of hypersurface isolated singularities via parametric local cohomology systems,
Acta Mathematica Vietnamica, Vol. 42, pp.279--288, 2017.
(DOI: 10.1007/s40306-016-0198-4)
 27: Katsusuke Nabeshima and Shinichi Tajima,
Algebraic local cohomology with parameters and parametric standard bases for zero-dimensional ideals,
Journal of Symbolic Computation, Vol.82, pp.91--122, 2017.
(DOI: 10.1016/j.jsc.2017.01.003)
 26: Yosuke Sato, Ryoya Fukasakua and Katsusuke Nabeshima,
On simple representation of locally closed sets,
Proc. Asian Technology Conference in Mathematics 2016, Published by Mathematics and Technology, LLC , pp.190--199, 2016.
(ISBN 978-0-9972807-0-8, ISSN 1940-4204 )
 25: Katsusuke Nabeshima and Shinichi Tajima,
Computing Tjurina stratifications of μ-constant deformations via parametric local cohomology systems,
Applicable Algebra in Engineering, Communication and Computing, Vol.27, No.6, pp.451--467, 2016.
(DOI: 10.1007/s00200-016-0289-4)
 24: Katsusuke Nabeshima, Katsuyoshi Ohara and Shinichi Tajima,
Comprehensive Gröbner systems in rings of differential operators, holonomic D-modules and b-functions,
Proc. International Symposium on Symbolic and Algebraic Computation (ISSAC' 2016), pp.349--356, 2016.
(DOI: 10.1145/2930889.2930918)
 23: Katsusuke Nabeshima and Shinichi Tajima,
Solving extended ideal membership problems in rings of convergent power series via Gröbner bases,
Lecture Notes in Computer Science, Vol.9582, pp.252--267, Springer ,2016.
(DOI: 10.1007/978-3-319-32859-1_22)
 22: Katsusuke Nabeshima and Shinichi Tajima,
Efficient computation of algebraic local cohomology classes and change of ordering for zero-dimensional standard bases,
Proc. CASC2015, Lecture Notes in Computer Science, Vol.9301, pp.334--348, Springer, 2015.
(DOI: 10.1007/978-3-319-24021-3_25)
 21: Katsusuke Nabeshima and Shinichi Tajima,
Computing logarithmic vector fields associated with parametric semi-quasihomogeneous hypersurface isolated singularities,
Proc. International Symposium on Symbolic and Algebraic Computation (ISSAC' 2015), pp.291--298, 2015.
(DOI: 10.1007/978-3-319-24021-3_25)
 20: Katsusuke Nabeshima and Shinichi Tajima,
On the computation of algebraic local cohomology classes associated with semi-quasihomogeneous singularities,
Advanced Studies in Pure Mathematics, Vol.66, pp.143--159, 2015.
(DOI: 10.2969/aspm/06610143)
 19: Katsusuke Nabeshima and Shinichi Tajima,
An algorithm for computing Tjurina Stratifications of μ-constant deformations by using local cohomology classes with parameters,
Lecture Notes in Computer Science, Vol.8592, pp.523--530, Springer, 2014.
(DOI: 10.1007/978-3-662-44199-2_79)
 18: Katsusuke Nabeshima and Shinichi Tajima,
An algorithm for computing standard bases by change of ordering via algebraic local cohomology,
Lecture Notes in Computer Science, Vol.8592, pp.414--418, Springer, 2014.
(DOI: 10.1007/978-3-662-44199-2_63)
 17: Aya Sugihara, Yasunori Tanabe and Katsusuke Nabeshima,
Which puzzles can be solved by Gröbner bases?
Bulletin of Japan Society for Symbolic and Algebraic Computation,Vol.20, No.2., pp.3--22, 2014. (in Japanese)
 16:  Katsusuke Nabeshima and Shinichi Tajima,
On efficient algorithms for computing parametric local cohomology classes associated with semi-quasihomogeneous singularities and standard bases,
Proc. International Symposium on Symbolic and Algebraic Computation (ISSAC2014), pp.351--358, 2014.
(DOI: 10.1145/2608628.2608639)
 15: Katsusuke Nabeshima,
Stability Conditions of Monomial Bases and Comprehensive Gröbner systems,
Lecture Notes in Computer Science, Vol.7442, pp.248--259, Springer, 2012. 
(DOI: 10.1007/978-3-642-32973-9_21)
 14: Katsusuke Nabeshima,
On an Implementation of Standard Bases, Gröbner Bases and Normal-form Using Algebraic Local Cohomology,
Communications of Japan Society for Symbolic and Algebraic Computation, Vol.1, pp.1--25, 2012.
 13: Yosuke Sato, Shutaro Inoue, Akira Suzuki, Katsusuke Nabeshima and Ko Sakai,
Boolean Gröbner Bases,
Journal of Symbolic Computation, Vol.46, No.5, pp.622--632, 2011.
(DOI: 10.1016/j.jsc.2010.10.011)
 12: Katsusuke Nabeshima,
On the computation of parametric Gröbner baes for modules and syzygies,
Japan Journal of Industrial and Applied Mathematics, Vol.27, No.2, pp.217--238, 2010.
 (DOI: 10.1007/s13160-010-0003-z)
 11: Katsusuke Nabeshima,
PGB: A package for computing parametric polynomial systems,
MI Lecture Note Series (The Joint Conference of ASCM2009 and MACIS2009) , Vol.22, pp.587--599, 2009.
 10: Katsusuke Nabeshima,
Reduced Gröbner Bases in Polynomial Rings over a Polynomial Ring,
Mathematics in Computer Science, Vol.2, No.4, pp.587--599, 2009.
(DOI: 10.1007/s11786-008-0060-8)
 9: Shinichi Tajima, Yayoi Nakamura and Katsusuke Nabeshima,
Standard Bases and Algebraic Local Cohomology for Zero Dimensional Ideals,
Advanced Studies in Pure Mathematics, Vol.56, pp.341--361, 2009.
(DOI: 10.2969/aspm/05610341)
 8: Katsusuke Nabeshima, Yayoi Nakamura and Shinichi Tajima,
An Algorithm to Compute Parametric Standard Bases Using Algebraic Local Cohomology for Zero Dimensional Ideals (Extended abstract),
MI Lecture Note Series (The Joint Conference of ASCM2009 and MACIS2009) , Vol.22, pp.123-126, Kyushu University, 2009.
 7: Katsusuke Nabeshima,
Efficient techniques for computing parametric Gröbner Bases,
Journal of Japan Society for Symbolic and Algebraic Computation, Vol.15, pp.2--24, 2008. (in Japanese)
 6: Katsusuke Nabeshima,
Comprehensive Gröbner Bases and von Neumann regualr rings,
Journal of Japan Society for Symbolic and Algebraic Computation, Vol.14, No.1, pp.41--65, 2007.
 5: Katsusuke Nabeshima,
A Speed-Up of the Algorithm for Computing Comprehensive Gröbner Systems,
Proceedings of the International Symposium on Symbolic and Algebraic Computation (ISSAC07), pp.299--306, 2007.
(DOI: 10.1145/1277548.1277589)
 4: Katsusuke Nabeshima,
A Direct Products of Fields Approach to Comprehensive Gröbner Bases over Finite Fields,
Proceedings of the 7th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC05), IEEE Computer Society, pp.39--47, 2005.
(DOI: 10.1109/SYNASC.2005.3)
 3: Katsusuke Nabeshima,
A Computation Method for ACGB-V,
Proceedings of the A3L 2005, conference in Honor of the 60th Birthday of Volker Weispfenning, pp.172-180, BON Norderstedt, 2005.
 2: Yosuke Sato, Akira Suzuki and Katsusuke Nabeshima :
Discrete Comprehensive Gröbner Bases II,
Computer Mathematics III, Lecture Notes Series on Computing, pp.240--247, World Scientific, 2003.
(DOI: 10.1142/9789812704436_0019)
 1: Yosuke Sato, Akira Suzuki and Katsusuke Nabeshima :
ACGB on Varieties,
Proceedings of the 6th International Workshop on Computer Algebra in Scientific Computing, Universität München, pp.313--318, 2003.
http://wwwmayr.in.tum.de:8080/leabib/contents.search?booktitle=+CASC%272003+%28


Others:

 2:  Katsusuke Nabeshima (Ed.) Proceedinghs of the 39th International Symposium on Symbolilc and Algebraic Computation, ACM-Press, 2014.
(ISBN: 978-1-4503-2501-1)
 1: Translation, Derive 6.1., Japanese efition, Texas Instruments, 2007



Last update: 4th of August, 2023