{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,10]],"date-time":"2025-10-10T02:02:48Z","timestamp":1760061768308,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":33,"publisher":"ACM","license":[{"start":{"date-parts":[[2016,7,20]],"date-time":"2016-07-20T00:00:00Z","timestamp":1468972800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"name":"JSPS Grant-in-Aid for Scientific Research (C)","award":["15K04891","15KT0102"],"award-info":[{"award-number":["15K04891","15KT0102"]}]},{"name":"JSPS Grant-in-Aid for Young Scientists (B)","award":["15K17513"],"award-info":[{"award-number":["15K17513"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2016,7,20]]},"DOI":"10.1145\/2930889.2930918","type":"proceedings-article","created":{"date-parts":[[2016,7,19]],"date-time":"2016-07-19T11:59:33Z","timestamp":1468929573000},"page":"349-356","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":2,"title":["Comprehensive Gr\u00f6bner Systems in Rings of Differential Operators, Holonomic D-modules and B-functions"],"prefix":"10.1145","author":[{"given":"Katsusuke","family":"Nabeshima","sequence":"first","affiliation":[{"name":"Tokushima University, Tokushima, Japan"}]},{"given":"Katsuyoshi","family":"Ohara","sequence":"additional","affiliation":[{"name":"Kanazawa University, Kanazawa, Japan"}]},{"given":"Shinichi","family":"Tajima","sequence":"additional","affiliation":[{"name":"University of Tsukuba, Tsukuba, Japan"}]}],"member":"320","published-online":{"date-parts":[[2016,7,20]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/1576702.1576735"},{"key":"e_1_3_2_1_2_1","volume-title":"Mai","author":"Brian\u00e7on J.","year":"2002","unstructured":"J. Brian\u00e7on and P. Maisonobe , Remarques sur l'id\u00e9al de Bernstein associ\u00e9 \u00e0 des polyn\u00f4mes. pr\u00e9publication Univ. Nice-Sophia Antipolis, nO 650 , Mai , 2002 . J. Brian\u00e7on and P. Maisonobe, Remarques sur l'id\u00e9al de Bernstein associ\u00e9 \u00e0 des polyn\u00f4mes. pr\u00e9publication Univ. Nice-Sophia Antipolis, nO 650, Mai, 2002."},{"key":"e_1_3_2_1_3_1","first-page":"55","volume-title":"An introduction to effective calculus in quantum groups. Rings, Hopf Algebras and Brauer Groups. Lecture Note in Pure and Applied Mathematics, 197","author":"Bueso J.","year":"1998","unstructured":"J. Bueso , J. Castro , J. G\u00f3mez-Torrecillas and J. Lobillo , An introduction to effective calculus in quantum groups. Rings, Hopf Algebras and Brauer Groups. Lecture Note in Pure and Applied Mathematics, 197 , pages 55 -- 83 , Marcel-Dekker , New York , 1998 . J. Bueso, J. Castro, J. G\u00f3mez-Torrecillas and J. Lobillo, An introduction to effective calculus in quantum groups. Rings, Hopf Algebras and Brauer Groups. Lecture Note in Pure and Applied Mathematics, 197, pages 55--83, Marcel-Dekker, New York, 1998."},{"key":"e_1_3_2_1_4_1","volume-title":"Singular 4-0--2 A computer algebra system for polynomial computations","author":"Decker W.","year":"2015","unstructured":"W. Decker , G.-M. Greuel , G. Pfister and H. Sch\u00f6nemann , Singular 4-0--2 A computer algebra system for polynomial computations . 2015 . http:\/\/www.singular.uni-kl.de W. Decker, G.-M. Greuel, G. Pfister and H. Sch\u00f6nemann, Singular 4-0--2 A computer algebra system for polynomial computations. 2015. http:\/\/www.singular.uni-kl.de"},{"key":"e_1_3_2_1_5_1","unstructured":"D. Grayson and M. Stilman Macaulay 2: a software system for algebraic geometry. http:\/\/www.math.uiuc.edu\/Macaulay2  D. Grayson and M. Stilman Macaulay 2: a software system for algebraic geometry. http:\/\/www.math.uiuc.edu\/Macaulay2"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1006\/jsco.1997.0113"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0747-7171(08)80003-X"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/1837934.1837946"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.2977\/prims\/1195192011"},{"key":"e_1_3_2_1_10_1","first-page":"33","volume-title":"B-functions and holonomic systems: Rationality of roots of b-functions. Invent. Math., 38","author":"Kashiwara M.","year":"1976","unstructured":"M. Kashiwara , B-functions and holonomic systems: Rationality of roots of b-functions. Invent. Math., 38 , pages 33 -- 53 . 1976 . M. Kashiwara, B-functions and holonomic systems: Rationality of roots of b-functions. Invent. Math., 38, pages 33--53. 1976."},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/1390768.1390794"},{"key":"e_1_3_2_1_13_1","first-page":"408","volume-title":"Algorithms for checking rational roots of b-functions and their applications. J. Algebra, 352","author":"Levandovskyy V.","year":"2012","unstructured":"V. Levandovskyy and J. Mart\u00edn-Morales , Algorithms for checking rational roots of b-functions and their applications. J. Algebra, 352 , pages 408 -- 429 . 2012 . V. Levandovskyy and J. Mart\u00edn-Morales, Algorithms for checking rational roots of b-functions and their applications. J. Algebra, 352, pages 408--429. 2012."},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1006\/jsco.2001.0488"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jsc.2010.06.017"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-32973-9_21"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jsc.2010.01.003"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1142\/9789812777171_0015"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/143242.143362"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1006\/jsco.1994.1046"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF03167233"},{"key":"e_1_3_2_1_23_1","first-page":"115","volume-title":"An algorithm of computing b-functions. Duke Math. J., 87","author":"Oaku T.","year":"1997","unstructured":"T. Oaku , An algorithm of computing b-functions. Duke Math. J., 87 , pages 115 -- 132 . 1997 . T. Oaku, An algorithm of computing b-functions. Duke Math. J., 87, pages 115--132. 1997."},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1006\/aama.1997.0527"},{"key":"e_1_3_2_1_25_1","first-page":"118","volume":"117","author":"Oaku T.","year":"1997","unstructured":"T. Oaku , Algorithms for the b-function and $D$-modules associated with a polynomial. J. Pure Appl. Algebra , 117 and 118 , pages 495--518. 1997 . T. Oaku, Algorithms for the b-function and $D$-modules associated with a polynomial. J. Pure Appl. Algebra, 117 and 118, pages 495--518. 1997.","journal-title":"Appl. Algebra"},{"key":"e_1_3_2_1_26_1","unstructured":"OpenXM committers OpenXM a project to integrate mathematical software systems. 1998--2016. http:\/\/www.openxm.org  OpenXM committers OpenXM a project to integrate mathematical software systems. 1998--2016. http:\/\/www.openxm.org"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jsc.2005.05.002"},{"key":"e_1_3_2_1_28_1","volume-title":"Lecture Notes","author":"Sabbah C.","year":"2011","unstructured":"C. Sabbah , Introduction to the theory of $D$-modules . Lecture Notes , Nankai , 2011 . http:\/\/www.math.polytechnique.fr\/cmat\/sabbah\/sabbah_nankai110705.pdf C. Sabbah, Introduction to the theory of $D$-modules. Lecture Notes, Nankai, 2011. http:\/\/www.math.polytechnique.fr\/cmat\/sabbah\/sabbah_nankai110705.pdf"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1145\/1145768.1145821"},{"key":"e_1_3_2_1_30_1","first-page":"174","volume-title":"On b-functions and algebraic local cohomology classes attached to hypersurface with line singularities. RIMS Kkyroku Bessatsu, 52","author":"Tajima S.","year":"2014","unstructured":"S. Tajima , On b-functions and algebraic local cohomology classes attached to hypersurface with line singularities. RIMS Kkyroku Bessatsu, 52 , pages 174 -- 191 . 2014 . S. Tajima, On b-functions and algebraic local cohomology classes attached to hypersurface with line singularities. RIMS Kkyroku Bessatsu, 52, pages 174--191. 2014."},{"key":"e_1_3_2_1_31_1","unstructured":"S. Tajima and Y. Umeta Computing structures of holonomic $D$-modules associated with a simple line singularity. To appear in RIMS Kkyroku Bessatsu.  S. Tajima and Y. Umeta Computing structures of holonomic $D$-modules associated with a simple line singularity. To appear in RIMS Kkyroku Bessatsu."},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jsc.2003.07.005"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1016\/0747-7171(92)90023-W"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.2977\/prims\/1195196623"},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.2977\/prims\/1195189282"}],"event":{"name":"ISSAC '16: International Symposium on Symbolic and Algebraic Computation","sponsor":["SIGSAM ACM Special Interest Group on Symbolic and Algebraic Manipulation"],"location":"Waterloo ON Canada","acronym":"ISSAC '16"},"container-title":["Proceedings of the ACM on International Symposium on Symbolic and Algebraic Computation"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2930889.2930918","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2930889.2930918","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:55:48Z","timestamp":1750222548000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2930889.2930918"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,7,20]]},"references-count":33,"alternative-id":["10.1145\/2930889.2930918","10.1145\/2930889"],"URL":"https:\/\/doi.org\/10.1145\/2930889.2930918","relation":{},"subject":[],"published":{"date-parts":[[2016,7,20]]},"assertion":[{"value":"2016-07-20","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}