Tajima, Shinichi; Nabeshima, Katsusuke; Ohara, Katsuyoshi; Umeta, Yoko Computing holonomic D-modules associated to a family of non-isolated hypersurface singularities via comprehensive Gröbner systems of PBW algebra. (English) Zbl 07700018 Math. Comput. Sci. 17, No. 1, Paper No. 6, 22 p. (2023). MSC: 14H20 PDFBibTeX XMLCite \textit{S. Tajima} et al., Math. Comput. Sci. 17, No. 1, Paper No. 6, 22 p. (2023; Zbl 07700018) Full Text: DOI
Tajima, Shinichi; Nabeshima, Katsusuke An algorithm for computing torsion differential forms associated with an isolated hypersurface singularity. (English) Zbl 1476.14008 Math. Comput. Sci. 15, No. 2, 353-367 (2021). Reviewer: Aleksandr G. Aleksandrov (Moskva) MSC: 14B05 32S25 32S05 PDFBibTeX XMLCite \textit{S. Tajima} and \textit{K. Nabeshima}, Math. Comput. Sci. 15, No. 2, 353--367 (2021; Zbl 1476.14008) Full Text: DOI
Nabeshima, Katsusuke; Tajima, Shinichi Testing zero-dimensionality of varieties at a point. (English) Zbl 1492.13037 Math. Comput. Sci. 15, No. 2, 317-331 (2021). MSC: 13P10 14H20 14Q10 PDFBibTeX XMLCite \textit{K. Nabeshima} and \textit{S. Tajima}, Math. Comput. Sci. 15, No. 2, 317--331 (2021; Zbl 1492.13037) Full Text: DOI arXiv
Ohara, Katsuyoshi; Tajima, Shinichi An algorithm for computing Grothendieck local residues. II: General case. (English) Zbl 1457.32006 Math. Comput. Sci. 14, No. 2, 483-496 (2020). MSC: 32A27 13N10 32C38 PDFBibTeX XMLCite \textit{K. Ohara} and \textit{S. Tajima}, Math. Comput. Sci. 14, No. 2, 483--496 (2020; Zbl 1457.32006) Full Text: DOI arXiv
Tajima, Shinichi; Nabeshima, Katsusuke An implementation of the Lê-Teissier method for computing local Euler obstructions. (English) Zbl 1474.32048 Math. Comput. Sci. 13, No. 1-2, 273-280 (2019). MSC: 32S05 14B05 PDFBibTeX XMLCite \textit{S. Tajima} and \textit{K. Nabeshima}, Math. Comput. Sci. 13, No. 1--2, 273--280 (2019; Zbl 1474.32048) Full Text: DOI
Ohara, Katsuyoshi; Tajima, Shinichi An algorithm for computing Grothendieck local residues. I: Shape basis case. (English) Zbl 1474.32015 Math. Comput. Sci. 13, No. 1-2, 205-216 (2019). MSC: 32A27 13N10 PDFBibTeX XMLCite \textit{K. Ohara} and \textit{S. Tajima}, Math. Comput. Sci. 13, No. 1--2, 205--216 (2019; Zbl 1474.32015) Full Text: DOI
Nabeshima, Katsusuke; Tajima, Shinichi Solving parametric ideal membership problems and computing integral numbers in a ring of convergent power series via comprehensive Gröbner systems. (English) Zbl 1474.13057 Math. Comput. Sci. 13, No. 1-2, 185-194 (2019). MSC: 13P10 14H20 PDFBibTeX XMLCite \textit{K. Nabeshima} and \textit{S. Tajima}, Math. Comput. Sci. 13, No. 1--2, 185--194 (2019; Zbl 1474.13057) Full Text: DOI