{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,9,20]],"date-time":"2023-09-20T13:40:53Z","timestamp":1695217253975},"reference-count":34,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2023,3,1]],"date-time":"2023-03-01T00:00:00Z","timestamp":1677628800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2023,3,1]],"date-time":"2023-03-01T00:00:00Z","timestamp":1677628800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Math.Comput.Sci."],"published-print":{"date-parts":[[2023,3]]},"DOI":"10.1007\/s11786-022-00553-4","type":"journal-article","created":{"date-parts":[[2023,3,26]],"date-time":"2023-03-26T22:16:42Z","timestamp":1679869002000},"update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Computing Holonomic D-Modules Associated to a Family of Non-isolated Hypersurface Singularities via Comprehensive Gr\u00f6bner Systems of PBW Algebra"],"prefix":"10.1007","volume":"17","author":[{"given":"Shinichi","family":"Tajima","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Katsusuke","family":"Nabeshima","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Katsuyoshi","family":"Ohara","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yoko","family":"Umeta","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2023,3,13]]},"reference":[{"key":"553_CR1","doi-asserted-by":"publisher","first-page":"359","DOI":"10.1007\/s11786-010-0058-x","volume":"4","author":"D Andreas","year":"2010","unstructured":"Andreas, D., Brickenstein, M., Levandovskyy, V., Mart\u00edn-Morales, J., Sch\u00f6nenmann, J.: Constructive D-module theory with singular. Math. Comput. Sci. 4, 359\u2013383 (2010)","journal-title":"Math. Comput. Sci."},{"key":"553_CR2","doi-asserted-by":"crossref","unstructured":"Biosca, H., Brian\u00e7on, J., Masisonobe, P., et Maynadier, H.: Espace conormaux relatifs II, Modules diff\u00e9rentiels. Publ. Res. Inst. Math. Sci. 34, 123\u2013134 (1998)","DOI":"10.2977\/prims\/1195144757"},{"key":"553_CR3","unstructured":"Brian\u00e7on, J., Maisonobe, P.: Remarques sur l\u2019id\u00e9al de Bernstein Associ\u00e9 \u00e0 des Polyn\u00f4mes. Pr\u00e9publication Univ. Nice-Sophia Antipolis, vol. 650. Univ. Nice-Sophia Antipolis (2002)"},{"key":"553_CR4","doi-asserted-by":"crossref","first-page":"657","DOI":"10.1007\/s00222-005-0441-4","volume":"161","author":"Answer to some equisingularity questions","year":"2005","unstructured":"Answer to some equisingularity questions: Fernandez de Bobadilla. J. Invent. Math. 161, 657\u2013675 (2005)","journal-title":"J. Invent. Math."},{"key":"553_CR5","doi-asserted-by":"crossref","unstructured":"Fernandez de Bobadilla, J.: Topology of hypersurface singularities with 3-dimensional critical set. Comment. Math. Helv. 88, 253\u2013304 (2013)","DOI":"10.4171\/CMH\/285"},{"key":"553_CR6","doi-asserted-by":"publisher","first-page":"162","DOI":"10.1007\/11555964_14","volume":"3718","author":"J Gago-Vargas","year":"2005","unstructured":"Gago-Vargas, J., Hartill-Hermoso, M.I., Ucha-Enr\u00edquez, J.M.: Nouvelle cuisine for the computation of the annihilating ideal of $$f^s$$. Lecture Notes in Comput. Sci. 3718, 162\u2013173 (2005)","journal-title":"Lecture Notes in Comput. Sci."},{"key":"553_CR7","doi-asserted-by":"publisher","first-page":"1076","DOI":"10.1016\/j.jsc.2005.05.004","volume":"40","author":"J Gago-Vargas","year":"2005","unstructured":"Gago-Vargas, J., Hartill-Hermoso, M.I., Ucha-Enr\u00edquez, J.M.: Comparison of theoretical complexities of two methods for computing annihilating ideals of polynomials. J. Symb. Comput. 40, 1076\u20131086 (2005)","journal-title":"J. Symb. Comput."},{"key":"553_CR8","unstructured":"Kashiwara, M.: b-Functions and hypersurface singularities (noted by T. Miwa in Japanese). RIMS K\u00f4ky\u00fbroku 225, 16\u201353 (1975)"},{"key":"553_CR9","doi-asserted-by":"crossref","unstructured":"Kashiwara, M.: On the maximally overdetermined system of linear differential equations. Publ. Res. Inst. Math. Sci. 10, 563\u2013579 (1974\u20131975)","DOI":"10.2977\/prims\/1195192011"},{"key":"553_CR10","doi-asserted-by":"crossref","unstructured":"Kashiwara, M.: B-Functions and holonomic systems\u2014rationality of roots of b-functions. Invent. Math. 38, 33\u201353 (1976\/77)","DOI":"10.1007\/BF01390168"},{"key":"553_CR11","doi-asserted-by":"publisher","first-page":"121","DOI":"10.1007\/BF01403082","volume":"49","author":"M Kashiwara","year":"1978","unstructured":"Kashiwara, M.: On the holonomic systems of linear differential equations. II. Invent. Math. 49, 121\u2013142 (1978)","journal-title":"II. Invent. Math."},{"key":"553_CR12","unstructured":"Kashiwara, M.: Systems of microdifferential equations. In: Progress in Math., vol. 34. Birkh\u00e4user (1983)"},{"key":"553_CR13","doi-asserted-by":"crossref","unstructured":"Kashiwara, M.: D-Modules and Microlocal Calculus, Translations of Mathematical Monographes, vol. 217. AMS (2003)","DOI":"10.1090\/mmono\/217"},{"key":"553_CR14","doi-asserted-by":"publisher","first-page":"144","DOI":"10.1007\/11832225_13","volume":"4151","author":"V Levandovskyy","year":"2006","unstructured":"Levandovskyy, V.: PLURAL, a non-commutative extension of SINGULAR: past, present and future. Lect. Notes Comput. Sci. 4151, 144\u2013157 (2006)","journal-title":"Lect. Notes Comput. Sci."},{"key":"553_CR15","doi-asserted-by":"publisher","first-page":"408","DOI":"10.1016\/j.jalgebra.2011.12.002","volume":"352","author":"V Levandovskyy","year":"2012","unstructured":"Levandovskyy, V., Mart\u00edn-Morales, J.: Algorithms for checking rational roots of b-functions and their applications. J. Algebra 352, 408\u2013429 (2012)","journal-title":"J. Algebra"},{"key":"553_CR16","unstructured":"Leykin, A.: D-Modules for Macaulay2 (with Harry Tsai). http:\/\/antonleykin.math.gatech.edu\/Dmodules\/index.html"},{"key":"553_CR17","doi-asserted-by":"publisher","first-page":"357","DOI":"10.1007\/BF01234423","volume":"99","author":"DB Massey","year":"1990","unstructured":"Massey, D.B.: The L\u00ea varieties. I. Invent. Math. 99, 357\u2013376 (1990)","journal-title":"I. Invent. Math."},{"key":"553_CR18","doi-asserted-by":"publisher","first-page":"113","DOI":"10.1007\/BF01245068","volume":"104","author":"DB Massey","year":"1991","unstructured":"Massey, D.B.: The L\u00ea varieties. II. Invent. Math. 104, 113\u2013148 (1991)","journal-title":"II. Invent. Math."},{"key":"553_CR19","doi-asserted-by":"crossref","unstructured":"Massey, D.B.: L\u00ea Cycles and Hypersurface Singularities, Lecture Notes in Math., vol. 1615, Springer (1995)","DOI":"10.1007\/BFb0094409"},{"key":"553_CR20","doi-asserted-by":"crossref","unstructured":"Nabeshima, K., Ohara, K., Tajima, S.: Comprehensive Gr\u00f6bner systems in rings of differential operators, holonomic D-modules and b-functions, ISSAC2016. In: Proceedings of the International Symposium on Symbolic and Algebraic Computation, pp. 349\u2013356 (2016)","DOI":"10.1145\/2930889.2930918"},{"key":"553_CR21","doi-asserted-by":"publisher","first-page":"146","DOI":"10.1016\/j.jsc.2017.11.010","volume":"89","author":"K Nabeshima","year":"2018","unstructured":"Nabeshima, K., Ohara, K., Tajima, S.: Comprehensive Gr\u00f6bner systems in PBW algebras, Bernstein-Sato ideals and holonomic D-modules. J. Symb. Compt. 89, 146\u2013170 (2018)","journal-title":"J. Symb. Compt."},{"key":"553_CR22","doi-asserted-by":"publisher","first-page":"55","DOI":"10.2206\/kyushujm.75.55","volume":"75","author":"K Nabeshima","year":"2021","unstructured":"Nabeshima, K., Tajima, S.: Computation methods of b-functions associated with $$\\mu $$-constant deformations -case of inner modality2. Kyushu J. Math. 75, 55\u201376 (2021)","journal-title":"Kyushu J. Math."},{"key":"553_CR23","doi-asserted-by":"crossref","unstructured":"Noro, M., Takeshima, T.: Risa\/Asir\u2014a computer algebra system. In: ISSAC: Proceedings of the International Symposium on Symbolic and Algebraic Computation, vol. 1992, pp. 387\u2013396. ACM (1992)","DOI":"10.1145\/143242.143362"},{"key":"553_CR24","doi-asserted-by":"publisher","first-page":"485","DOI":"10.1007\/BF03167233","volume":"11","author":"T Oaku","year":"1994","unstructured":"Oaku, T.: Computation of the characteristic variety and the singular locus of a system of differential equations with polynomial coefficients. Japan J. Indus. Appl. Math. 11, 485\u2013497 (1994)","journal-title":"Japan J. Indus. Appl. Math."},{"key":"553_CR25","doi-asserted-by":"publisher","first-page":"223","DOI":"10.1006\/jsco.1994.1046","volume":"18","author":"T Oaku","year":"1994","unstructured":"Oaku, T., Shimoyama, T.: A Gr\u00f6bner basis method for modules over rings of differential operators. J. Symb. Comput. 18, 223\u2013248 (1994)","journal-title":"J. Symb. Comput."},{"key":"553_CR26","doi-asserted-by":"crossref","unstructured":"Oaku, T.: Algorithms for the b-function and D-modules associated with a polynomial. J. Pure Appl. Algebra 117 & 118, 495\u2013518 (1997)","DOI":"10.1016\/S0022-4049(97)00024-8"},{"key":"553_CR27","doi-asserted-by":"crossref","unstructured":"Schapira, P.: Microdifferential Systems in the Complex Domain. Springer (1985)","DOI":"10.1007\/978-3-642-61665-5"},{"key":"553_CR28","first-page":"61","volume":"75","author":"S Tajima","year":"2019","unstructured":"Tajima, S.: Local cohomology solutions of holonomic D-modules associated with non-isolated hypersurface singularities. RIMS K\u00f4ky\u00fbroku Bessatsu 75, 61\u201372 (2019)","journal-title":"RIMS K\u00f4ky\u00fbroku Bessatsu"},{"key":"553_CR29","first-page":"125","volume":"57","author":"S Tajima","year":"2016","unstructured":"Tajima, S., Umeta, Y.: Computing structure of holonomic D-modules associated with a simple line singularity. RIMS K\u00f4ky\u00fbroku Bessatsu. 57, 125\u2013140 (2016)","journal-title":"RIMS K\u00f4ky\u00fbroku Bessatsu."},{"key":"553_CR30","doi-asserted-by":"publisher","first-page":"17","DOI":"10.1619\/fesi.64.17","volume":"64","author":"S Tajima","year":"2021","unstructured":"Tajima, S., Umeta, Y.: Holonomic D-modules associated with a simple line singularity and the vertical monodromy. Funkc. Ekvacioj 64, 17\u201348 (2021)","journal-title":"Funkc. Ekvacioj"},{"key":"553_CR31","doi-asserted-by":"publisher","first-page":"117","DOI":"10.14492\/hokmj\/2020-305","volume":"51","author":"S Tajima","year":"2022","unstructured":"Tajima, S., Umeta, Y.: Algebraic analysis of Siersma\u2019s non-isolated hypersurface singularities. Hokkaido Math. Journal. 51, 117\u2013151 (2022)","journal-title":"Hokkaido Math. Journal."},{"key":"553_CR32","doi-asserted-by":"publisher","first-page":"111","DOI":"10.2977\/prims\/1195189282","volume":"14","author":"T Yano","year":"1978","unstructured":"Yano, T.: On the theory of b-functions. Pub. Res. Inst. Math. Sci. 14, 111\u2013202 (1978)","journal-title":"Pub. Res. Inst. Math. Sci."},{"key":"553_CR33","doi-asserted-by":"publisher","first-page":"496","DOI":"10.2307\/1970400","volume":"81","author":"H Whitney","year":"1965","unstructured":"Whitney, H.: Tangents to an analytic variety. Ann. Math. 81, 496\u2013549 (1965)","journal-title":"Ann. Math."},{"key":"553_CR34","unstructured":"Whitney, H.: Complex Analytic Varieties. Addison-Wesley (1972)"}],"container-title":["Mathematics in Computer Science"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s11786-022-00553-4.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s11786-022-00553-4\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s11786-022-00553-4.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,9,19]],"date-time":"2023-09-19T06:23:13Z","timestamp":1695104593000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s11786-022-00553-4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,3]]},"references-count":34,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2023,3]]}},"alternative-id":["553"],"URL":"https:\/\/doi.org\/10.1007\/s11786-022-00553-4","relation":{},"ISSN":["1661-8270","1661-8289"],"issn-type":[{"value":"1661-8270","type":"print"},{"value":"1661-8289","type":"electronic"}],"subject":[],"published":{"date-parts":[[2023,3]]},"assertion":[{"value":"8 February 2022","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"20 November 2022","order":2,"name":"revised","label":"Revised","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"9 December 2022","order":3,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"13 March 2023","order":4,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}],"article-number":"6"}}