{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,1]],"date-time":"2026-04-01T05:27:03Z","timestamp":1775021223561,"version":"3.50.1"},"reference-count":34,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2019,11,21]],"date-time":"2019-11-21T00:00:00Z","timestamp":1574294400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2019,11,21]],"date-time":"2019-11-21T00:00:00Z","timestamp":1574294400000},"content-version":"vor","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Math.Comput.Sci."],"published-print":{"date-parts":[[2020,3]]},"DOI":"10.1007\/s11786-019-00412-9","type":"journal-article","created":{"date-parts":[[2019,11,21]],"date-time":"2019-11-21T07:02:51Z","timestamp":1574319771000},"page":"19-33","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":4,"title":["Modular Techniques for Noncommutative Gr\u00f6bner Bases"],"prefix":"10.1007","volume":"14","author":[{"given":"Wolfram","family":"Decker","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Christian","family":"Eder","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Viktor","family":"Levandovskyy","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sharwan K.","family":"Tiwari","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2019,11,21]]},"reference":[{"issue":"2\u20133","key":"412_CR1","doi-asserted-by":"publisher","first-page":"359","DOI":"10.1007\/s11786-010-0058-x","volume":"4","author":"D Andres","year":"2010","unstructured":"Andres, D., Brickenstein, M., Levandovskyy, V., Mart\u00edn-Morales, J., Sch\u00f6nemann, H.: Constructive D-module theory with SINGULAR. Math. Comput. Sci. 4(2\u20133), 359\u2013383 (2010)","journal-title":"Math. Comput. Sci."},{"key":"412_CR2","unstructured":"Apel, J.: Gr\u00f6bnerbasen in nichtkommutativen Algebren und ihre Anwendung (Gr\u00f6bner bases in noncommutative algebras and their applications). Karl-Marx-Univ., Leipzig (1988)"},{"issue":"4","key":"412_CR3","doi-asserted-by":"publisher","first-page":"403","DOI":"10.1016\/S0747-7171(02)00140-2","volume":"35","author":"EA Arnold","year":"2003","unstructured":"Arnold, E.A.: Modular algorithms for computing Gr\u00f6bner bases. J. Symb. Comput. 35(4), 403\u2013419 (2003)","journal-title":"J. Symb. Comput."},{"key":"412_CR4","doi-asserted-by":"publisher","first-page":"89","DOI":"10.1007\/BF01076413","volume":"5","author":"I Bernstein","year":"1971","unstructured":"Bernstein, I.: Modules over a ring of differential operators. Study of the fundamental solutions of equations with constant coefficients. Funct. Anal. Appl. 5, 89\u2013101 (1971)","journal-title":"Funct. Anal. Appl."},{"issue":"296","key":"412_CR5","doi-asserted-by":"publisher","first-page":"3013","DOI":"10.1090\/mcom\/2951","volume":"84","author":"J B\u00f6hm","year":"2015","unstructured":"B\u00f6hm, J., Decker, W., Fieker, C., Pfister, G.: The use of bad primes in rational reconstruction. Math. Comp. 84(296), 3013\u20133027 (2015)","journal-title":"Math. Comp."},{"issue":"8","key":"412_CR6","doi-asserted-by":"publisher","first-page":"689","DOI":"10.1016\/S0007-4497(01)01090-9","volume":"125","author":"J Bueso","year":"2001","unstructured":"Bueso, J., G\u00f3mez-Torrecillas, J., Lobillo, F.: Re-filtering and exactness of the Gelfand\u2013Kirillov dimension. Bull. Sci. Math. 125(8), 689\u2013715 (2001)","journal-title":"Bull. Sci. Math."},{"key":"412_CR7","doi-asserted-by":"publisher","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\u00f3mez-Torrecillas, J., Verschoren, A.: Algorithmic Methods in Non-commutative Algebra, Applications to Quantum Groups. Kluwer Academic Publishers, Dordrecht (2003)"},{"key":"412_CR8","unstructured":"Castro, F.: Calculs effectifs pour les id\u00e9aux d\u2019op\u00e9rateurs diff\u00e9rentiels. (Effective computations for ideals of differential operators). G\u00e9om\u00e9trie alg\u00e9brique et applications, C. R. 2i\u00e8me Conf. int., La Rabida\/Espagne 1984, III: G\u00e9om\u00e9trie r\u00e9elle. Syst\u00e8mes diff\u0301erentielles et th\u00e9orie de Hodge, Trav. Cours 24, 1\u201319 (1987)"},{"issue":"12","key":"412_CR9","doi-asserted-by":"publisher","first-page":"2974","DOI":"10.1016\/j.jpaa.2017.02.011","volume":"221","author":"M Ceria","year":"2017","unstructured":"Ceria, M., Mora, T.: Buchberger\u2013Zacharias theory of multivariate Ore extensions. J. Pure Appl. Algebra 221(12), 2974\u20133026 (2017)","journal-title":"J. Pure Appl. Algebra"},{"key":"412_CR10","doi-asserted-by":"publisher","first-page":"112","DOI":"10.1016\/j.jsc.2016.11.008","volume":"83","author":"M Ceria","year":"2017","unstructured":"Ceria, M., Mora, T.: Buchberger\u2013Weispfenning theory for effective associative rings. J. Symb. Comput. 83, 112\u2013146 (2017)","journal-title":"J. Symb. Comput."},{"issue":"7","key":"412_CR11","doi-asserted-by":"publisher","first-page":"733","DOI":"10.1016\/j.jsc.2007.03.001","volume":"42","author":"H Cheng","year":"2007","unstructured":"Cheng, H., Labahn, G.: Output-sensitive modular algorithms for polynomial matrix normal forms. J. Symb. Comput. 42(7), 733\u2013750 (2007)","journal-title":"J. Symb. Comput."},{"key":"412_CR12","unstructured":"Decker, W., Greuel, G.-M., Pfister, G., Sch\u00f6nemann, H.: Singular 4-1-2: a computer algebra system for polynomial computations (2019). http:\/\/www.singular.uni-kl.de"},{"issue":"2","key":"412_CR13","doi-asserted-by":"publisher","first-page":"28","DOI":"10.1145\/1089330.1089336","volume":"17","author":"G Ebert","year":"1983","unstructured":"Ebert, G.: Some comments on the modular approach to Gr\u00f6bner-bases. SIGSAM Bull. 17(2), 28\u201332 (1983)","journal-title":"SIGSAM Bull."},{"issue":"8\u20139","key":"412_CR14","doi-asserted-by":"publisher","first-page":"2133","DOI":"10.1016\/j.laa.2008.11.024","volume":"430","author":"JI Garc\u00eda Garc\u00eda","year":"2009","unstructured":"Garc\u00eda Garc\u00eda, J.I., Garc\u00eda Miranda, J., Lobillo, F.: Elimination orderings and localization in PBW algebras. Linear Algebra Appl. 430(8\u20139), 2133\u20132148 (2009)","journal-title":"Linear Algebra Appl."},{"issue":"3","key":"412_CR15","doi-asserted-by":"publisher","first-page":"1039","DOI":"10.1016\/j.jsc.2005.05.002","volume":"40","author":"M Garc\u00eda Rom\u00e1n","year":"2005","unstructured":"Garc\u00eda Rom\u00e1n, M., Garc\u00eda Rom\u00e1n, S.: Gr\u00f6bner bases and syzygies on bimodules over PBW algebras. J. Symb. Comput. 40(3), 1039\u20131052 (2005)","journal-title":"J. Symb. Comput."},{"key":"412_CR16","unstructured":"Greuel, G.-M., Levandovskyy, V., Motsak, O., Sch\u00f6nemann, H.: Plural. a singular 4-1-2 subsystem for computations with non-commutative polynomial algebras (2019). http:\/\/www.singular.uni-kl.de"},{"issue":"6","key":"412_CR17","doi-asserted-by":"publisher","first-page":"672","DOI":"10.1016\/j.jsc.2011.01.003","volume":"46","author":"N Idrees","year":"2011","unstructured":"Idrees, N., Pfister, G., Steidel, S.: Parallelization of modular algorithms. J. Symb. Comput. 46(6), 672\u2013684 (2011)","journal-title":"J. Symb. Comput."},{"issue":"1","key":"412_CR18","doi-asserted-by":"publisher","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."},{"key":"412_CR19","volume-title":"Growth of Algebras and Gelfand\u2013Kirillov Dimension","author":"GR Krause","year":"2000","unstructured":"Krause, G.R., Lenagan, T.H.: Growth of Algebras and Gelfand\u2013Kirillov Dimension, Revised edn. American Mathematical Society, Providence (2000)","edition":"Revised"},{"key":"412_CR20","volume-title":"Solvable Polynomial Rings","author":"H Kredel","year":"1993","unstructured":"Kredel, H.: Solvable Polynomial Rings. Shaker, Aachen (1993)"},{"key":"412_CR21","unstructured":"Levandovskyy, V.: Non-commutative computer algebra for polynomial algebras: Gr\u00f6bner bases, applications and implementation. Doctoral thesis, Universit\u00e4t Kaiserslautern (2005)"},{"key":"412_CR22","doi-asserted-by":"crossref","unstructured":"Levandovskyy, V.: PBW bases, non-degeneracy conditions and applications. In: Representations of Algebras and Related Topics. Proceedings from the 10th International Conference, ICRA X, Toronto, Canada, July 15\u2013August 10, 2002. Dedicated to V. Dlab on the occasion of his 70th birthday, pp. 229\u2013246. American Mathematical Society (AMS), Providence (2005)","DOI":"10.1090\/fic\/045\/18"},{"key":"412_CR23","first-page":"309","volume-title":"Proceedings of CASC \u20192011, Volume 6885 of LNCS","author":"V Levandovskyy","year":"2011","unstructured":"Levandovskyy, V., Koutschan, C., Motsak, O.: On two-generated non-commutative algebras subject to the affine relation. In: Gerdt, V., Koepf, W., Mayr, E., Vorozhtsov, E. (eds.) Proceedings of CASC \u20192011, Volume 6885 of LNCS, pp. 309\u2013320. Springer, Berlin (2011)"},{"key":"412_CR24","unstructured":"Levandovskyy, V., Sch\u00f6nemann, H.: Plural: a computer algebra system for noncommutative polynomial algebras. In: Proceedings of the 2003 International Symposium on Symbolic and Algebraic Computation, ISSAC 2003, Philadelphia, PA, USA, August 3\u20136, 2003, pp. 176\u2013183. ACM Press, New York (2003)"},{"key":"412_CR25","doi-asserted-by":"crossref","unstructured":"Li, H.: Noncommutative Gr\u00f6bner bases and filtered-graded transfer. Lecture Notes in Mathematics, vol. 1795. Springer, Berlin (2002)","DOI":"10.1007\/b84211"},{"issue":"1","key":"412_CR26","doi-asserted-by":"publisher","first-page":"131","DOI":"10.1016\/0304-3975(94)90283-6","volume":"134","author":"T Mora","year":"1994","unstructured":"Mora, T.: An introduction to commutative and noncommutative Gr\u00f6bner bases. Theor. Comput. Sci. 134(1), 131\u2013173 (1994)","journal-title":"Theor. Comput. Sci."},{"key":"412_CR27","doi-asserted-by":"publisher","first-page":"147","DOI":"10.1142\/9789812777171_0015","volume-title":"Mathematical Software (Beijing, 2002)","author":"M Noro","year":"2002","unstructured":"Noro, M.: An efficient modular algorithm for computing the global $$b$$-function. In: Cohen, A.M., Gao, X.-S., Takayama, N. (eds.) Mathematical Software (Beijing, 2002), pp. 147\u2013157. World Sci. Publ, River Edge (2002)"},{"issue":"1","key":"412_CR28","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/s11786-017-0325-1","volume":"12","author":"M Noro","year":"2018","unstructured":"Noro, M., Yokoyama, K.: Usage of modular techniques for efficient computation of ideal operations. Math. Comput. Sci. 12(1), 1\u201332 (2018)","journal-title":"Math. Comput. Sci."},{"issue":"1","key":"412_CR29","doi-asserted-by":"publisher","first-page":"27","DOI":"10.1006\/jsco.1996.0040","volume":"22","author":"FL Pritchard","year":"1996","unstructured":"Pritchard, F.L.: The ideal membership problem in non-commutative polynomial rings. J. Symb. Comput. 22(1), 27\u201348 (1996)","journal-title":"J. Symb. Comput."},{"key":"412_CR30","doi-asserted-by":"publisher","first-page":"269","DOI":"10.1007\/BF01115106","volume":"101","author":"H-J Reiffen","year":"1967","unstructured":"Reiffen, H.-J.: Das Lemma von Poincar\u00e9 f\u00fcr holomorphe Differentialformen auf komplexen R\u00e4umen. Math. Z. 101, 269\u2013284 (1967)","journal-title":"Math. Z."},{"issue":"3","key":"412_CR31","first-page":"283","volume":"62","author":"C Sabbah","year":"1987","unstructured":"Sabbah, C.: Proximit\u00e9 \u00e9vanescente I. La structure polaire d\u2019un D-Module. Compos. Math. 62(3), 283\u2013328 (1987)","journal-title":"Compos. Math."},{"issue":"1","key":"412_CR32","doi-asserted-by":"publisher","first-page":"147","DOI":"10.1007\/BF03167920","volume":"6","author":"N Takayama","year":"1989","unstructured":"Takayama, N.: Gr\u00f6bner basis and the problem of contiguous relations. Japan J. Appl. Math. 6(1), 147\u2013160 (1989)","journal-title":"Japan J. Appl. Math."},{"key":"412_CR33","unstructured":"The SymbolicData Project (2019). https:\/\/symbolicdata.github.io"},{"key":"412_CR34","doi-asserted-by":"crossref","unstructured":"Weispfenning, V.: Finite Gr\u00f6bner bases in non-noetherian skew polynomial rings. In: Proceedings of ISSAC\u201992, pp. 329\u2013334. ACM Press, New York (1992)","DOI":"10.1145\/143242.143346"}],"container-title":["Mathematics in Computer Science"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11786-019-00412-9.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11786-019-00412-9\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11786-019-00412-9.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,20]],"date-time":"2020-11-20T03:06:49Z","timestamp":1605841609000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11786-019-00412-9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,11,21]]},"references-count":34,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2020,3]]}},"alternative-id":["412"],"URL":"https:\/\/doi.org\/10.1007\/s11786-019-00412-9","relation":{},"ISSN":["1661-8270","1661-8289"],"issn-type":[{"value":"1661-8270","type":"print"},{"value":"1661-8289","type":"electronic"}],"subject":[],"published":{"date-parts":[[2019,11,21]]},"assertion":[{"value":"16 June 2018","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"5 June 2019","order":2,"name":"revised","label":"Revised","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"20 September 2019","order":3,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"21 November 2019","order":4,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}