{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,12]],"date-time":"2026-01-12T20:37:51Z","timestamp":1768250271600,"version":"3.49.0"},"publisher-location":"Cham","reference-count":31,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783319328584","type":"print"},{"value":"9783319328591","type":"electronic"}],"license":[{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016]]},"DOI":"10.1007\/978-3-319-32859-1_22","type":"book-chapter","created":{"date-parts":[[2016,4,15]],"date-time":"2016-04-15T11:12:06Z","timestamp":1460718726000},"page":"252-267","source":"Crossref","is-referenced-by-count":5,"title":["Solving Extended Ideal Membership Problems in Rings of Convergent Power Series via Gr\u00f6bner Bases"],"prefix":"10.1007","author":[{"given":"Katsusuke","family":"Nabeshima","sequence":"first","affiliation":[]},{"given":"Shinichi","family":"Tajima","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2016,4,16]]},"reference":[{"key":"22_CR1","doi-asserted-by":"crossref","unstructured":"Becker, T., Weispfenning, V.: Gr\u00f6bner Bases. Springer, New York (1992)","DOI":"10.1007\/978-1-4612-0913-3"},{"key":"22_CR2","doi-asserted-by":"publisher","first-page":"553","DOI":"10.5802\/aif.1177","volume":"39","author":"J Brian\u00e7on","year":"1989","unstructured":"Brian\u00e7on, J., Granger, M., Maisonobe, P., Miniconi, M.: Algorithme de calcul du polun\u00f4me du Bernstein : cas non d\u00e9g\u00e9n\u00e9r\u00e9. Ann. Inst. Fourier 39, 553\u2013610 (1989)","journal-title":"Ann. Inst. Fourier"},{"key":"22_CR3","doi-asserted-by":"publisher","DOI":"10.1007\/978-0-387-35651-8","volume-title":"Ideals, Varieties and Algorithms","author":"D Cox","year":"2007","unstructured":"Cox, D., Little, J., O\u2019Shea, D.: Ideals, Varieties and Algorithms, 3rd edn. Springer, New York (2007)","edition":"3"},{"key":"22_CR4","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4757-6911-1","volume-title":"Using Algebraic Geometry","author":"D Cox","year":"1998","unstructured":"Cox, D., Little, J., O\u2019Shea, D.: Using Algebraic Geometry. Springer, New York (1998)"},{"key":"22_CR5","unstructured":"Decker, W., Greuel, G.-M., Pfister, G., Sch\u00f6nemann, H.: Singular 3-1-6 - A computer algebra system for polynomial computations (2012). \n                      http:\/\/www.singular.uni-kl.de"},{"key":"22_CR6","doi-asserted-by":"publisher","first-page":"2","DOI":"10.1145\/261320.261324","volume":"31","author":"A Dolzmann","year":"1997","unstructured":"Dolzmann, A., Sturm, T.: Redlog: computer algebra meets computer logic. ACM SIGSAM Bull. 31, 2\u20139 (1997)","journal-title":"ACM SIGSAM Bull."},{"key":"22_CR7","volume-title":"A Singular Introduction to Commutative Algebra","author":"G-M Greuel","year":"2008","unstructured":"Greuel, G.-M., Pfister, G.: A Singular Introduction to Commutative Algebra, 2nd edn. Springer, Heidelberg (2008)","edition":"2"},{"key":"22_CR8","unstructured":"Grothendieck, A.: Th\u00e9or\u00e8mes de dualit\u00e9 pour les faisceaux alg\u00e9briques coh\u00e9rents. S\u00e9minaire Bourbaki 149 (1957)"},{"key":"22_CR9","series-title":"Lecture Notes in Mathematics, 41","doi-asserted-by":"crossref","DOI":"10.1007\/BFb0073971","volume-title":"Local Cohomology; a Seminar","author":"R Hartshorne","year":"1967","unstructured":"Hartshorne, R., Grothendieck, A.: Local Cohomology; a Seminar. Lecture Notes in Mathematics, 41. Springer, New York (1967)"},{"key":"22_CR10","doi-asserted-by":"publisher","first-page":"51","DOI":"10.1006\/jsco.1997.0113","volume":"24","author":"M Kalkbrener","year":"1997","unstructured":"Kalkbrener, M.: On the stability of Gr\u00f6bner bases under specializations. J. Symbolic Comput. 24, 51\u201358 (1997)","journal-title":"J. Symbolic Comput."},{"key":"22_CR11","doi-asserted-by":"crossref","unstructured":"Kapur, D., Sun, D., Wang, D.: A new algorithm for computing comprehensive Gr\u00f6bner systems. In: Proceedings of the ISSAC 2010, pp. 29\u201336. ACM (2010)","DOI":"10.1145\/1837934.1837946"},{"key":"22_CR12","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511758928","volume-title":"Mixed Hodge Structures and Singularities","author":"VS Kulikov","year":"1998","unstructured":"Kulikov, V.S.: Mixed Hodge Structures and Singularities. Cambridge University Press, New York (1998)"},{"key":"22_CR13","doi-asserted-by":"publisher","first-page":"1245","DOI":"10.1016\/j.jsc.2005.09.013","volume":"41","author":"M Manubens","year":"2006","unstructured":"Manubens, M., Montes, A.: Improving DISPGB algorithm using the discriminant ideal. J. Symbolic Comput. 41, 1245\u20131263 (2006)","journal-title":"J. Symbolic Comput."},{"key":"22_CR14","doi-asserted-by":"publisher","first-page":"1391","DOI":"10.1016\/j.jsc.2010.06.017","volume":"45","author":"A Montes","year":"2010","unstructured":"Montes, A., Wibmer, M.: Gr\u00f6bner bases for polynomial systems with parameters. J. Symbolic Comput. 45, 1391\u20131425 (2010)","journal-title":"J. Symbolic Comput."},{"key":"22_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"158","DOI":"10.1007\/3-540-11607-9_18","volume-title":"Computer Algebra","author":"T Mora","year":"1982","unstructured":"Mora, T.: An algorithm to compute the equations of tangent cones. In: Calmet, Jacques (ed.) ISSAC 1982 and EUROCAM 1982. LNCS, vol. 144, pp. 158\u2013165. Springer, Heidelberg (1982)"},{"key":"22_CR16","first-page":"199","volume":"6","author":"T Mora","year":"1992","unstructured":"Mora, T., Pfister, G., Traverso, T.: An introduction to the tangent cone algorithm. Adv. Comput. Res. 6, 199\u2013270 (1992). Issued in robotics and nonlinear geometry","journal-title":"Adv. Comput. Res."},{"key":"22_CR17","doi-asserted-by":"publisher","first-page":"217","DOI":"10.1007\/s13160-010-0003-z","volume":"27","author":"K Nabeshima","year":"2010","unstructured":"Nabeshima, K.: On the computation of parametric Gr\u00f6bner bases for modules and syzygies. Jpn. J. Ind. Appl. Math. 27, 217\u2013238 (2010)","journal-title":"Jpn. J. Ind. Appl. Math."},{"key":"22_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"248","DOI":"10.1007\/978-3-642-32973-9_21","volume-title":"Computer Algebra in Scientific Computing","author":"K Nabeshima","year":"2012","unstructured":"Nabeshima, K.: Stability conditions of monomial bases and comprehensive Gr\u00f6bner systems. In: Gerdt, V.P., Koepf, W., Mayr, E.W., Vorozhtsov, E.V. (eds.) CASC 2012. LNCS, vol. 7442, pp. 248\u2013259. Springer, Heidelberg (2012)"},{"key":"22_CR19","doi-asserted-by":"crossref","unstructured":"Nabeshima, K., Tajima, S.: On efficient algorithms for computing parametric local cohomology classes associated with semi-quasihomogeneous singularities and standard bases. In: Proceedings of the ISSAC 2014, pp. 351\u2013358. ACM (2014)","DOI":"10.1145\/2608628.2608639"},{"key":"22_CR20","unstructured":"Nabeshima, K., Tajima, S.: Algebraic local cohomology with parameters and parametric standard bases for zero-dimensional ideals (2015). \n                      arXiv:1508.06724"},{"key":"22_CR21","unstructured":"Noro, M., Takeshima, T.: Risa\/Asir - a computer algebra system. In: Proceedings of the ISSAC 1992, pp. 387\u2013396. ACM (1992). \n                      http:\/\/www.math.kobe-u.ac.jp\/Asir\/asir.html"},{"key":"22_CR22","doi-asserted-by":"publisher","first-page":"549","DOI":"10.1006\/jsco.2001.0482","volume":"32","author":"M Schulze","year":"2001","unstructured":"Schulze, M.: Algorithms for the gauss-manin connections. J. Symbolic Comput. 32, 549\u2013564 (2001)","journal-title":"J. Symbolic Comput."},{"key":"22_CR23","unstructured":"Schulze, M.: Algorithmic gauss-manin connection - algorithms to compute hodge-theoretic invariants of isolated hypersurface singularities. vom Fachbereich Mathematik der Universit\u00e4t Kaiserslautern zum Verleihyng des akademischen Grades Doktor der Naturwissenschaften (2002)"},{"key":"22_CR24","doi-asserted-by":"crossref","unstructured":"Suzuki, A., Sato, Y.: A simple algorithm to compute comprehensive Gr\u00f6bner bases using Gr\u00f6bner bases. In: Proceedings of the ISSAC 2006, pp. 326\u2013331. ACM (2006)","DOI":"10.1145\/1145768.1145821"},{"key":"22_CR25","volume-title":"Integral Closure of Ideals, Rings and Modules","author":"I Swanson","year":"2006","unstructured":"Swanson, I., Huneke, C.: Integral Closure of Ideals, Rings and Modules. Cambridge University Press, Cambridge (2006)"},{"key":"22_CR26","doi-asserted-by":"publisher","first-page":"1","DOI":"10.2977\/prims\/1145475402","volume":"41","author":"S Tajima","year":"2005","unstructured":"Tajima, S., Nakamura, Y.: Algebraic local cohomology class attached to quasi-homogeneous isolated hypersurface singularities. Publ. Res. Inst. Math. Sci. 41, 1\u201310 (2005)","journal-title":"Publ. Res. Inst. Math. Sci."},{"key":"22_CR27","doi-asserted-by":"publisher","first-page":"435","DOI":"10.1016\/j.jsc.2007.07.017","volume":"44","author":"S Tajima","year":"2009","unstructured":"Tajima, S., Nakamura, Y.: Annihilating ideals for an algebraic local cohomology class. J. Symbolic Comput. 44, 435\u2013448 (2009)","journal-title":"J. Symbolic Comput."},{"key":"22_CR28","doi-asserted-by":"publisher","first-page":"21","DOI":"10.2977\/PRIMS\/59","volume":"48","author":"S Tajima","year":"2012","unstructured":"Tajima, S., Nakamura, Y.: Algebraic local cohomology classes attached to unimodal singularities. Publ. Res. Inst. Math. Sci. 48, 21\u201343 (2012)","journal-title":"Publ. Res. Inst. Math. Sci."},{"key":"22_CR29","doi-asserted-by":"crossref","first-page":"341","DOI":"10.2969\/aspm\/05610341","volume":"56","author":"S Tajima","year":"2009","unstructured":"Tajima, S., Nakamura, Y., Nabeshima, K.: Standard bases and algebraic local cohomology for zero dimensional ideals. Adv. Stud. Pure Math. 56, 341\u2013361 (2009)","journal-title":"Adv. Stud. Pure Math."},{"key":"22_CR30","doi-asserted-by":"publisher","first-page":"669","DOI":"10.1016\/S0747-7171(03)00099-3","volume":"36","author":"V Weispfenning","year":"1992","unstructured":"Weispfenning, V.: Comprehensive Gr\u00f6bner bases. J. Symbolic Comput. 36, 669\u2013683 (1992)","journal-title":"J. Symbolic Comput."},{"key":"22_CR31","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 \n                      \n                        \n                      \n                      $$b$$\n                    -functions. Publ. Res. Inst. Math. Sci. 14, 111\u2013202 (1978)","journal-title":"Publ. Res. Inst. Math. Sci."}],"container-title":["Lecture Notes in Computer Science","Mathematical Aspects of Computer and Information Sciences"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-32859-1_22","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,1]],"date-time":"2019-06-01T20:33:46Z","timestamp":1559421226000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-32859-1_22"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783319328584","9783319328591"],"references-count":31,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-32859-1_22","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2016]]}}}