Katsusuke Nabeshima

Ph.D.(Johannes Kepler Universität Linz)

Graduate School of Science and Technology,
Tokushima University

Associate Professor

nabeshima@tokushima-u.ac.jp  

Addres: 2-1 Minamijosanjima, Tokushima, 770-8506, JAPAN
 

Go to Japanese Pages

I am interested in computer algebra.

Short Curriculum Vitae:


Refereed Papers:
 1: 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, 2017, to appear
 2: Katsusuke Nabeshima and Shinichi Tajima,
Comprehensive Gröbner systems aprroach to b-functions of μ-constant deformations.,
Saitama Mathematical Journal, 2017 in press
 3: Katsusuke Nabeshima and Shinichi Tajima,
Computing μ*-sequences of hypersurface isolated singularities via parametric local cohomology systems,
Acta Mathematica Vietnamica, 2017.
(DOI: 10.1007/s40306-016-0198-4)
 4: 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)
 5: 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.
 6: 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)
 7: 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)
 8: 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, 2016.
(DOI: 10.1007/978-3-319-32859-1_22)
 9: Katsusuke Nabeshima and Shinichi Tajima,
Efficient computation of algebraic local cohomology classes and change of ordering for zero-dimensional standard bases,
Lecture Notes in Computer Science, Vol.9301, pp.334--348, 2015.
(DOI: 10.1007/978-3-319-32859-1_22)
 10: 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)
 11: 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.
 12: Katsusuke Nabeshima and Shinichi Tajima,
An algorithm for computing Tjurina Stratifications of mu-constant deformations by using local cohomology classes with parameters,
Lecture Notes in Computer Science, Vol.8592, pp.523--530, 2014.
(DOI: 10.1007/978-3-662-44199-2_79)
 13: 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, 2014.
(DOI: 10.1007/978-3-662-44199-2_63)
 14: 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)
 15:  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)
 16: Katsusuke Nabeshima,
Stability Conditions of Monomial Bases and Comprehensive Gröbner systems,
Lecture Notes in Computer Science, Vol.7442, pp.248--259, 2012. 
(DOI: 10.1007/978-3-642-32973-9_21)
 17: 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.
 18: 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)
 19: 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)
 20: 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.
 21: 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)
 22: 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.
 23: Katsusuke Nabeshima, Yayoi Nakamura and Shinichi Tajima,
An Algorithm to Compute Parametric Standard Bases Using Algebraic Local Cohomology for Zero Dimensional Ideals (Extended abstract),
Proc. Joint Conference of ASCM2009 and MACIS2009, COE Lecture Note, Vol.22, pp.123-126, Kyushu University, 2009.
 24: 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)
 25: 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.
 26: 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)
 27: 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)
 28: 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.
 29: Yosuke Sato, Akira Suzuki and Katsusuke Nabeshima :
Discrete Comprehensive Gröbner Bases II,
Computer Mathematics III, Lecture Notes Series on Computing, World Scientific, pp.240--247, 2003.
(DOI: 10.1142/9789812704436_0019)
 30: 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.


Others:

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



Last update: 2017, March 2