{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,11]],"date-time":"2026-03-11T09:07:53Z","timestamp":1773220073045,"version":"3.50.1"},"reference-count":41,"publisher":"Springer Science and Business Media LLC","issue":"2-3","license":[{"start":{"date-parts":[[2010,9,1]],"date-time":"2010-09-01T00:00:00Z","timestamp":1283299200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Math.Comput.Sci."],"published-print":{"date-parts":[[2010,9]]},"DOI":"10.1007\/s11786-010-0058-x","type":"journal-article","created":{"date-parts":[[2011,1,21]],"date-time":"2011-01-21T14:25:38Z","timestamp":1295619938000},"page":"359-383","source":"Crossref","is-referenced-by-count":13,"title":["Constructive D-Module Theory with Singular"],"prefix":"10.1007","volume":"4","author":[{"given":"Daniel","family":"Andres","sequence":"first","affiliation":[]},{"given":"Michael","family":"Brickenstein","sequence":"additional","affiliation":[]},{"given":"Viktor","family":"Levandovskyy","sequence":"additional","affiliation":[]},{"given":"Jorge","family":"Mart\u00edn-Morales","sequence":"additional","affiliation":[]},{"given":"Hans","family":"Sch\u00f6nemann","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2011,1,22]]},"reference":[{"key":"58_CR1","doi-asserted-by":"crossref","unstructured":"Andres, D., Levandovskyy, V., Mart\u00edn-Morales, J.: Principal intersection and Bernstein\u2013Sato polynomial of an affine variety. In: May, J.P. (ed.) Proceedings of the International Symposium on Symbolic and Algebraic Computation (ISSAC\u201909), pp. 231\u2013238. ACM Press, New York (2009)","DOI":"10.1145\/1576702.1576735"},{"key":"58_CR2","doi-asserted-by":"crossref","unstructured":"Andres, D., Levandovskyy, V., Mart\u00edn-Morales, J.: Effective methods for the computation of Bernstein\u2013Sato polynomials for hypersurfaces and affine varieties. http:\/\/arxiv.org\/abs\/1002.3644 (2010)","DOI":"10.1145\/1576702.1576735"},{"issue":"1","key":"58_CR3","doi-asserted-by":"crossref","first-page":"46","DOI":"10.1016\/j.jsc.2009.06.004","volume":"45","author":"R. Bahloul","year":"2010","unstructured":"Bahloul R., Oaku T.: Local Bernstein\u2013Sato ideals: algorithm and examples. J. Symb. Comput. 45(1), 46\u201359 (2010)","journal-title":"J. Symb. Comput."},{"issue":"2","key":"58_CR4","doi-asserted-by":"crossref","first-page":"89","DOI":"10.1007\/BF01076413","volume":"5","author":"I.N. Bernstein","year":"1971","unstructured":"Bernstein I.N.: Modules over a ring of differential operators. An investigation of the fundamental solutions of equations with constant coefficients. Funct. Anal. Appl. 5(2), 89\u2013101 (1971)","journal-title":"Funct. Anal. Appl."},{"key":"58_CR5","unstructured":"Brian\u00e7on, J., Maisonobe, P.: Remarques sur l\u2019id\u00e9al de Bernstein associ\u00e9 \u00e0 des polyn\u00f4mes. Preprint no. 650, Univ. Nice Sophia-Antipolis (2002)"},{"key":"58_CR6","unstructured":"Brickenstein, M.: Slimgb: Gr\u00f6bner Bases with Slim Polynomials. In: Rhine Workshop on Computer Algebra, pp. 55\u201366. Proceedings of RWCA\u201906, Basel, March 2006"},{"issue":"3","key":"58_CR7","doi-asserted-by":"crossref","first-page":"779","DOI":"10.1112\/S0010437X06002193","volume":"142","author":"N. Budur","year":"2006","unstructured":"Budur N., Musta\u0163\u01ce M., Saito M.: Bernstein\u2013Sato polynomials of arbitrary varieties. Compos. Math. 142(3), 779\u2013797 (2006)","journal-title":"Compos. Math."},{"key":"58_CR8","doi-asserted-by":"crossref","DOI":"10.1007\/978-94-017-0285-0","volume-title":"Algorithmic methods in non-commutative algebra. Applications to quantum groups","author":"J. Bueso","year":"2003","unstructured":"Bueso J., G\u00f6mez-Torrecillas J., Verschoren A.: Algorithmic methods in non-commutative algebra. Applications to quantum groups. Kluwer, Dordrecht (2003)"},{"key":"58_CR9","unstructured":"Castro-Jim\u00e9nez, F., Narv\u00e1ez-Macarro, L.: Homogenising differential operators. Prepublicaci\u00f6n no. 36, Universidad de Sevilla (1997)"},{"key":"58_CR10","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511623653","volume-title":"A Primer of Algebraic $${\\mathcal{D}}$$ -Modules","author":"S. Coutinho","year":"1995","unstructured":"Coutinho, S.: A Primer of Algebraic $${\\mathcal{D}}$$ -Modules. Cambridge University Press, Cambridge (1995)"},{"key":"58_CR11","doi-asserted-by":"crossref","unstructured":"Decker, W., Greuel, G.-M., Pfister, G., Sch\u00f6nemann, H.: Singular 3-1-2. A Computer Algebra System for Polynomial Computations. Centre for Computer Algebra, University of Kaiserslautern. http:\/\/www.singular.uni-kl.de (2010)","DOI":"10.1145\/1504347.1504377"},{"issue":"4","key":"58_CR12","doi-asserted-by":"crossref","first-page":"329","DOI":"10.1006\/jsco.1993.1051","volume":"16","author":"J.C. Faugere","year":"1993","unstructured":"Faugere J.C., Gianni P., Lazard D., Mora T.: Efficient computation of zero-dimensional Gr\u00f6bner bases by change of ordering. J. Symb. Comput. 16(4), 329\u2013344 (1993)","journal-title":"J. Symb. Comput."},{"issue":"3","key":"58_CR13","doi-asserted-by":"crossref","first-page":"1076","DOI":"10.1016\/j.jsc.2005.05.004","volume":"40","author":"J. Gago-Vargas","year":"2005","unstructured":"Gago-Vargas J., Hartillo-Hermoso M., Ucha-Enr\u00edquez J.: Comparison of theoretical complexities of two methods for computing annihilating ideals of polynomials. J. Symb. Comput. 40(3), 1076\u20131086 (2005)","journal-title":"J. Symb. Comput."},{"key":"58_CR14","unstructured":"Greuel, G.-M., Levandovskyy, V., Sch\u00f6nemann, H.: Plural. A Singular 3-1-0 Subsystem for Computations with Non-commutative Polynomial Algebras. Centre for Computer Algebra, University of Kaiserslautern. http:\/\/www.singular.uni-kl.de (2006)"},{"key":"58_CR15","unstructured":"Greuel, G.-M., Pfister, G.: A SINGULAR Introduction to Commutative Algebra. Springer, 2nd edn. With contributions by Bachmann, O., Lossen, C., Sch\u00f6nemann, H. (2008)"},{"key":"58_CR16","doi-asserted-by":"crossref","unstructured":"Hartillo-Hermoso, M.I.: About an algorithm of T. Oaku. In: Ring theory and algebraic geometry (Le\u00f3n, 1999), Lecture Notes in Pure and Applied Mathematics, vol. 221, pp. 241\u2013250. Dekker, New York (2001)","DOI":"10.1201\/9780203907962.ch14"},{"issue":"1","key":"58_CR17","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/S0747-7171(08)80003-X","volume":"9","author":"A. Kandri-Rody","year":"1990","unstructured":"Kandri-Rody A., Weispfenning V.: Non-commutative Gr\u00f6bner bases in algebras of solvable type. J. Symb. Comput. 9(1), 1\u201326 (1990)","journal-title":"J. Symb. Comput."},{"issue":"1","key":"58_CR18","doi-asserted-by":"crossref","first-page":"33","DOI":"10.1007\/BF01390168","volume":"38","author":"M. Kashiwara","year":"1976","unstructured":"Kashiwara M.: B-functions and holonomic systems. Rationality of roots of B-functions. Invent. Math. 38(1), 33\u201353 (1976)","journal-title":"Invent. Math."},{"key":"58_CR19","unstructured":"Levandovskyy, V.: On preimages of ideals in certain non-commutative algebras. In: Pfister, G., Cojocaru, S., Ufnarovski, V. (eds.) Computational Commutative and Non-Commutative Algebraic Geometry. IOS Press, Amsterdam (2005)"},{"key":"58_CR20","doi-asserted-by":"crossref","unstructured":"Levandovskyy, V., Mart\u00edn-Morales, J.: Computational D-module theory with singular, comparison with other systems and two new algorithms. In: Proceedings of the International Symposium on Symbolic and Algebraic Computation (ISSAC\u201908). ACM Press, New York. http:\/\/doi.acm.org\/10.1145\/1390768.1390794 (2008)","DOI":"10.1145\/1390768.1390794"},{"key":"58_CR21","unstructured":"Levandovskyy V., Mart\u00edn-Morales J. (2010) Algorithms for checking rational roots of b-functions and their applications. http:\/\/arxiv.org\/abs\/1003.3478 (2010)"},{"key":"58_CR22","doi-asserted-by":"crossref","unstructured":"Levandovskyy, V., Sch\u00f6nemann, H.: Plural\u2014a computer algebra system for noncommutative polynomial algebras. In: Proc. of the International Symposium on Symbolic and Algebraic Computation (ISSAC\u201903), pp. 176\u2013183. ACM Press, New York (2003)","DOI":"10.1145\/860854.860895"},{"key":"58_CR23","doi-asserted-by":"crossref","unstructured":"Li, H.: Noncommutative Gr\u00f6bner Bases And Filtered-Graded Transfer. Springer, Berlin (2002)","DOI":"10.1007\/b84211"},{"key":"58_CR24","doi-asserted-by":"crossref","unstructured":"Malgrange, B.: Le polyn\u00f4me de Bernstein d\u2019une singularit\u00e9 isol\u00e9e. In: Fourier Integral Operators and Partial Differential Equations (Colloq. Internat., Univ. Nice, Nice, 1974), pp. 98\u2013119. Lecture Notes in Math., vol. 459. Springer, Berlin (1975)","DOI":"10.1007\/BFb0074194"},{"issue":"5","key":"58_CR25","doi-asserted-by":"crossref","first-page":"1027","DOI":"10.1353\/ajm.1997.0031","volume":"119","author":"Z. Mebkhout","year":"1997","unstructured":"Mebkhout Z.: Sur le th\u00e9or\u00e8me de finitude de la cohomologie p-adique d\u2019une vari\u00e9t\u00e9 affine non singuli\u00e8re. Am. J. Math. 119(5), 1027\u20131081 (1997)","journal-title":"Am. J. Math."},{"key":"58_CR26","first-page":"193","volume":"503","author":"Z. Mebkhout","year":"1998","unstructured":"Mebkhout Z., Narv\u00e1ez-Macarro L.: Le th\u00e9or\u00e8me de continuit\u00e9 de la division dans les anneaux d\u2019op\u00e9rateurs diff\u00e9rentiels. J. Reine Angew. Math. 503, 193\u2013236 (1998)","journal-title":"J. Reine Angew. Math."},{"issue":"5","key":"58_CR27","doi-asserted-by":"crossref","first-page":"449","DOI":"10.1016\/j.jsc.2007.06.008","volume":"44","author":"H. Nakayama","year":"2009","unstructured":"Nakayama H.: Algorithm computing the local b function by an approximate division algorithm in $${\\widehat{\\mathcal{D}}}$$ . J. Symb. Comput., 44(5), 449\u2013462 (Spanish National Conference on Computer Algebra) (2009)","journal-title":"J. Symb. Comput."},{"key":"58_CR28","doi-asserted-by":"crossref","unstructured":"Narv\u00e1ez-Macarro, L.: Linearity conditions on the Jacobian ideal and logarithmic-meromorphic comparison for free divisors. In: Singularities I, Algebraic and Analytic Aspects, pp. 245\u2013269. Contemporary Mathematics, 474, AMS, 2008","DOI":"10.1090\/conm\/474\/09259"},{"issue":"4","key":"58_CR29","doi-asserted-by":"crossref","first-page":"462","DOI":"10.1016\/j.jsc.2010.01.003","volume":"45","author":"K. Nishiyama","year":"2010","unstructured":"Nishiyama K., Noro M.: Stratification associated with local b-functions. J. Symb. Comput. 45(4), 462\u2013480 (2010)","journal-title":"J. Symb. Comput."},{"key":"58_CR30","doi-asserted-by":"crossref","unstructured":"Noro, M.: An efficient modular algorithm for computing the global b-function. In: Mathematical software (Beijing, 2002), pp. 147\u2013157. World Science Publication, River Edge (2002)","DOI":"10.1142\/9789812777171_0015"},{"key":"58_CR31","unstructured":"Noro, M., Shimoyama, T., Takeshima, T.: Risa\/Asir, an open source general computer algebra system. http:\/\/www.math.kobe-u.ac.jp\/Asir (2006)"},{"issue":"118","key":"58_CR32","doi-asserted-by":"crossref","first-page":"495","DOI":"10.1016\/S0022-4049(97)00024-8","volume":"117","author":"T. Oaku","year":"1997","unstructured":"Oaku T.: Algorithms for the b-function and D-modules associated with a polynomial. J. Pure Appl. Algebra 117(118), 495\u2013518 (1997)","journal-title":"J. Pure Appl. Algebra"},{"issue":"2","key":"58_CR33","doi-asserted-by":"crossref","first-page":"163","DOI":"10.24033\/bsmf.2227","volume":"122","author":"M. Saito","year":"1994","unstructured":"Saito M.: On microlocal b-function. Bull. Soc. Math. France 122(2), 163\u2013184 (1994)","journal-title":"Bull. Soc. Math. France"},{"key":"58_CR34","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-662-04112-3","volume-title":"Gr\u00f6bner deformations of hypergeometric differential equations","author":"M. Saito","year":"2000","unstructured":"Saito, M., Sturmfels, B., Takayama, N.: Gr\u00f6bner deformations of hypergeometric differential equations. Springer, Berlin (2000)"},{"key":"58_CR35","doi-asserted-by":"crossref","unstructured":"Schindelar, K., Levandovskyy, V., Zerz, E.: Exact linear modeling using Ore algebras. J. Symb. Comput. 2010 (in press)","DOI":"10.1016\/j.jsc.2011.08.001"},{"issue":"4","key":"58_CR36","doi-asserted-by":"crossref","first-page":"1207","DOI":"10.1016\/j.jsc.2003.08.005","volume":"38","author":"M. Schulze","year":"2004","unstructured":"Schulze M.: A normal form algorithm for the Brieskorn lattice. J. Symb. Comput. 38(4), 1207\u20131225 (2004)","journal-title":"J. Symb. Comput."},{"key":"58_CR37","unstructured":"Shibuta, T.: An algorithm for computing multiplier ideals. http:\/\/arxiv.org\/abs\/math\/0807.4302 (2008)"},{"key":"58_CR38","unstructured":"Takayama, N.: kan\/sm1, a Gr\u00f6bner engine for the ring of differential and difference operators. http:\/\/www.math.kobe-u.ac.jp\/KAN\/index.html (2003)"},{"key":"58_CR39","doi-asserted-by":"crossref","unstructured":"Torrelli, T.: Logarithmic comparison theorem and D-modules: an overview. In: Singularity theory, pp. 995\u20131009. World Science Publication, Hackensack (2007)","DOI":"10.1142\/9789812707499_0040"},{"key":"58_CR40","unstructured":"Tsai H., Leykin A. (2006) D-modules package for Macaulay 2 \u2013 algorithms for D\u2013modules. http:\/\/www.ima.umn.edu\/~leykin\/Dmodules (2006)"},{"issue":"3","key":"58_CR41","first-page":"540","volume":"45","author":"A.N. Varchenko","year":"1981","unstructured":"Varchenko A.N.: Asymptotic Hodge structure on vanishing cohomology. Izv. Akad. Nauk SSSR Ser. Mat. 45(3), 540\u2013591 (1981)","journal-title":"Izv. Akad. Nauk SSSR Ser. Mat."}],"container-title":["Mathematics in Computer Science"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11786-010-0058-x.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11786-010-0058-x\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11786-010-0058-x","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,6,4]],"date-time":"2023-06-04T23:05:20Z","timestamp":1685919920000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11786-010-0058-x"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010,9]]},"references-count":41,"journal-issue":{"issue":"2-3","published-print":{"date-parts":[[2010,9]]}},"alternative-id":["58"],"URL":"https:\/\/doi.org\/10.1007\/s11786-010-0058-x","relation":{},"ISSN":["1661-8270","1661-8289"],"issn-type":[{"value":"1661-8270","type":"print"},{"value":"1661-8289","type":"electronic"}],"subject":[],"published":{"date-parts":[[2010,9]]}}}