{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,11]],"date-time":"2026-03-11T19:09:24Z","timestamp":1773256164095,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":99,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783642544781","type":"print"},{"value":"9783642544798","type":"electronic"}],"license":[{"start":{"date-parts":[[2014,1,1]],"date-time":"2014-01-01T00:00:00Z","timestamp":1388534400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2014,1,1]],"date-time":"2014-01-01T00:00:00Z","timestamp":1388534400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-642-54479-8_2","type":"book-chapter","created":{"date-parts":[[2014,2,25]],"date-time":"2014-02-25T04:29:38Z","timestamp":1393302578000},"page":"23-82","source":"Crossref","is-referenced-by-count":15,"title":["Basic Module Theory over Non-commutative Rings with Computational Aspects of Operator Algebras"],"prefix":"10.1007","author":[{"given":"Jos\u00e9","family":"G\u00f3mez-Torrecillas","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"2_CR1","unstructured":"Abramov, S.A., Le, H.Q., Li, Z.: Oretools: A computer algebra library for univariate Ore polynomial rings. Technical report, Technical Report CS-2003-12. University of Waterloo (2003)"},{"key":"2_CR2","volume-title":"An introduction to Gr\u00f6bner Bases","author":"W. Adams","year":"1994","unstructured":"Adams, W., Loustaunau, P.: An introduction to Gr\u00f6bner Bases. AMS, Providence (1994)"},{"key":"2_CR3","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4612-4418-9","volume-title":"Rings and categories of modules","author":"F.W. Anderson","year":"1992","unstructured":"Anderson, F.W., Fuller, K.R.: Rings and categories of modules, 2nd edn. Springer, New York (1992)","edition":"2"},{"issue":"2-3","key":"2_CR4","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.\u00a04(2-3), 359\u2013383 (2010)","journal-title":"Math. Comput. Sci."},{"issue":"pt-2","key":"2_CR5","doi-asserted-by":"crossref","first-page":"195","DOI":"10.1090\/conm\/131.2\/1175832","volume":"21","author":"J. Apel","year":"1992","unstructured":"Apel, J.: A relationship between Gr\u00f6bner bases of ideals and vector modules of G-algebras. Contemporary Mathematics\u00a021(pt-2, 195\u2013204 (1992)","journal-title":"Contemporary Mathematics"},{"key":"2_CR6","unstructured":"Apel, J., Klaus, U.: FELIX, a special computer algebra system for the computation in commutative and non-commutative rings and modules (1998), http:\/\/felix.hgb-leipzig.de\/"},{"key":"2_CR7","doi-asserted-by":"publisher","first-page":"361","DOI":"10.1016\/S0747-7171(88)80053-1","volume":"6","author":"J. Apel","year":"1988","unstructured":"Apel, J., Lassner, W.: An extension of Buchberger\u2019s algorithm and calculations in enveloping fields of Lie algebras. J. Symbolic Comput.\u00a06, 361\u2013370 (1988)","journal-title":"J. Symbolic Comput."},{"key":"2_CR8","unstructured":"Apel, J., Melenk, H.: REDUCE package NCPOLY: Computation in non-commutative polynomial ideals, Konrad-Zuse-Zentrum Berlin, ZIB (1994) (preprint)"},{"key":"2_CR9","doi-asserted-by":"publisher","first-page":"299","DOI":"10.1142\/S0219498808002813","volume":"7","author":"M. Barakat","year":"2008","unstructured":"Barakat, M., Robertz, D.: Homalg: A meta-package for homological algebra. J. Algebra Appl.\u00a07, 299\u2013317 (2008), http:\/\/homalg.math.rwth-aachen.de","journal-title":"J. Algebra Appl."},{"key":"2_CR10","doi-asserted-by":"crossref","unstructured":"Barkatou, M.: A Rational solutions of matrix difference equation. problem of equivalence and factorisation. In: Proceedings of ISSAC 1999, pp. 277\u2013282. ACM Press (1999)","DOI":"10.1145\/309831.309956"},{"key":"2_CR11","first-page":"22","volume-title":"Proc. of the Waterloo Workshop","author":"M.A. Barkatou","year":"2007","unstructured":"Barkatou, M.A.: Factoring systems of linear functional equations using eigenrings. Latest Advances in Symbolic Algorithms. In: Kotsireas, I., Zima, E. (eds.) Proc. of the Waterloo Workshop, pp. 22\u201342. World Scientific, Ontario (2007)"},{"key":"2_CR12","doi-asserted-by":"crossref","unstructured":"Barkatou, M.A., Cluzeau, T., El Bacha, C., Weil, J.-A.: Computing closed form solutions of integrable connections. In: Proceedings of the International Symposium on Symbolic and Algebraic Computations (ISSAC 2012), pp. 43\u201350. ACM Press (2012), http:\/\/www.ensil.unilim.fr\/~cluzeau\/PDS.html","DOI":"10.1145\/2442829.2442840"},{"key":"2_CR13","doi-asserted-by":"crossref","unstructured":"Barkatou, P.A., Pfl\u00fcgel, E.: On the Equivalence Problem of Linear Differential Systems and its Application for Factoring Completely Reducible Systems. In: Proceedings of ISSAC 1998, pp. 268\u2013275. ACM Press (1998)","DOI":"10.1145\/281508.281633"},{"key":"2_CR14","unstructured":"Barkatou, M.A., Pfl\u00fcgel, E.: The ISOLDE package. A SourceForge Open Source project (2006), http:\/\/isolde.sourceforge.net"},{"key":"2_CR15","doi-asserted-by":"crossref","unstructured":"Becker, T., Weispfenning, V.: Gr\u00f6bner bases. A computational approach to commutative algebra. Springer (1993)","DOI":"10.1007\/978-1-4612-0913-3"},{"key":"2_CR16","doi-asserted-by":"publisher","first-page":"513","DOI":"10.1016\/j.jsc.2005.10.002","volume":"41","author":"B. Beckermann","year":"2006","unstructured":"Beckermann, B., Cheng, H., Labahn, G.: Fraction-free row reduction of matrices of Ore polynomials. J. Symbolic Comput.\u00a041, 513\u2013543 (2006), http:\/\/www.cs.uleth.ca\/~cheng\/software\/","journal-title":"J. Symbolic Comput."},{"key":"2_CR17","doi-asserted-by":"publisher","first-page":"178","DOI":"10.1016\/0001-8708(78)90010-5","volume":"29","author":"G. Bergman","year":"1978","unstructured":"Bergman, G.: The diamond lemma for ring theory. Adv. Math.\u00a029, 178\u2013218 (1978)","journal-title":"Adv. Math."},{"key":"2_CR18","volume-title":"Rings of differential operators, Mathematical Library, 21","author":"J.E. Bj\u00f6rk","year":"1979","unstructured":"Bj\u00f6rk, J.E.: Rings of differential operators, Mathematical Library, 21. North-Holland, Amsterdam (1979)"},{"key":"2_CR19","series-title":"Lecture Notes in Math.","doi-asserted-by":"publisher","first-page":"137","DOI":"10.1007\/BFb0084075","volume-title":"S\u00e9minaire d\u2019Alg\u00e8bre Paul Dubreil et Marie-Paul Malliavin, 39\u00e8me Ann\u00e9e (Paris, 1987\/1988)","author":"J.-E. Bj\u00f6rk","year":"1989","unstructured":"Bj\u00f6rk, J.-E.: The Auslander condition on Noetherian rings. In: Malliavin, M.-P. (ed.) S\u00e9minaire d\u2019Alg\u00e8bre Paul Dubreil et Marie-Paul Malliavin, 39\u00e8me Ann\u00e9e (Paris, 1987\/1988). Lecture Notes in Math., vol.\u00a01404, pp. 137\u2013173. Springer, New York (1989)"},{"key":"2_CR20","unstructured":"Blinkov, Y.A., Cid, C.F., Gerdt, V.P., Plesken, W., Robertz, D.: The MAPLE package \u201cJanet\u201d: II. Linear Partial Differential Equations. In: Proceedings of the 6th International Workshop on Computer Algebra in Scientific Computing, pp. 41\u201354 (2003), http:\/\/wwwb.math.rwth-aachen.de\/Janet"},{"key":"2_CR21","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1016\/0304-3975(95)00173-5","volume":"157","author":"M. Bronstein","year":"1996","unstructured":"Bronstein, M., Petkov\u0161ek, M.: An introduction to pseudo-linear algebra. Theoret. Comput. Sci.\u00a0157, 3\u201333 (1996)","journal-title":"Theoret. Comput. Sci."},{"key":"2_CR22","doi-asserted-by":"crossref","unstructured":"Bueso, J.L., Castro, F.J., G\u00f3mez-Torrecillas, J., Lobillo, F.J.: An introduction to effective calculus in quantum groups. In: Caenepeel, S., Verschoren, A. (eds.) Hopf algebras and Brauer groups, pp. 55\u201383. Marcel Dekker (1998)","DOI":"10.1201\/9781003071730-4"},{"key":"2_CR23","doi-asserted-by":"publisher","first-page":"1357","DOI":"10.1081\/AGB-100001690","volume":"29","author":"J.L. Bueso","year":"2001","unstructured":"Bueso, J.L., Castro, F.J., G\u00f3mez-Torrecillas, J., Lobillo, F.J.: Primality Test in iterated Ore extensions. Comm. Algebra\u00a029, 1357\u20131371 (2001)","journal-title":"Comm. Algebra"},{"key":"2_CR24","doi-asserted-by":"publisher","first-page":"111","DOI":"10.1017\/S0013091500023476","volume":"40","author":"J.L. Bueso","year":"1997","unstructured":"Bueso, J.L., Castro, F.J., Jara, P.: The effective computation of the Gelfand-Kirillov dimension. Proc. Edinburgh Math. Soc.\u00a040, 111\u2013117 (1997)","journal-title":"Proc. Edinburgh Math. Soc."},{"key":"2_CR25","doi-asserted-by":"publisher","first-page":"201","DOI":"10.1023\/A:1011455831400","volume":"4","author":"J.L. Bueso","year":"2001","unstructured":"Bueso, J.L., G\u00f3mez-Torrecillas, J., Lobillo, F.J.: Homological Computations in PBW Modules. Alg. Repr. Theory\u00a04, 201\u2013218 (2001)","journal-title":"Alg. Repr. Theory"},{"key":"2_CR26","first-page":"33","volume-title":"Ring Theory and Algebraic Geometry","author":"J.L. Bueso","year":"2001","unstructured":"Bueso, J.L., G\u00f3mez-Torrecillas, J., Lobillo, F.J.: Computing the Gelfand-Kirillov dimension, II. In: Granja, A., Hermida, J.A., Verschoren, A. (eds.) Ring Theory and Algebraic Geometry, pp. 33\u201357. Marcel Dekker, New York (2001)"},{"key":"2_CR27","doi-asserted-by":"publisher","first-page":"689","DOI":"10.1016\/S0007-4497(01)01090-9","volume":"125","author":"J.L. Bueso","year":"2001","unstructured":"Bueso, J.L., G\u00f3mez-Torrecillas, J., Lobillo, F.J.: Re-filtering and exactness of the Gelfand-Kirillov dimension. Bull. Sci. Math.\u00a0125, 689\u2013715 (2001)","journal-title":"Bull. Sci. Math."},{"key":"2_CR28","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.L. Bueso","year":"2003","unstructured":"Bueso, J.L., G\u00f3mez-Torrecillas, J., Verschoren, A.: Algorithmic methods in Non-Commutative Algebra. Applications to quantum groups. Kluwer Academic Publishers, Dordrecht (2003)"},{"key":"2_CR29","unstructured":"Caruso, X., Le Borgne, J.: Some algorithms for skew polynomials over finite fields, http:\/\/arxiv.org\/abs\/1212.3582"},{"key":"2_CR30","unstructured":"Castro, F.J.: Th\u00e9or\u00e8me de division pour les op\u00e9rateurs diff\u00e9rentielles et calcul des multiplicit\u00e9s. Th\u00e8se 3eme cycle, Univ. Paris VII (1984)"},{"key":"2_CR31","unstructured":"Cha, Y.: Packages tausqsols, solver, Hom (2012), https:\/\/sites.google.com\/site\/yongjaecha\/code"},{"key":"2_CR32","doi-asserted-by":"publisher","first-page":"191","DOI":"10.1142\/9789812778437_0007","volume-title":"Proceedings of Differential Algebra and Related Topics","author":"R.C. Churchill","year":"2002","unstructured":"Churchill, R.C., Kovacic, J.J.: Cyclic vectors. In: Proceedings of Differential Algebra and Related Topics, Newark, NJ, pp. 191\u2013218. World Sci. Publ., River Edge (2002)"},{"key":"2_CR33","doi-asserted-by":"publisher","first-page":"319","DOI":"10.1007\/s00200-005-0188-6","volume":"16","author":"F. Chyzak","year":"2005","unstructured":"Chyzak, F., Quadrat, D., Robertz, D.: Effective algorithms for parametrizing linear control systems over Ore algebras. Appl. Algebra Eng. Comm. Comput.\u00a016, 319\u2013376 (2005)","journal-title":"Appl. Algebra Eng. Comm. Comput."},{"key":"2_CR34","doi-asserted-by":"crossref","unstructured":"Chyzak, F., Quadrat, A., Robertz, D.: OreModules: A symbolic package for the study of multidimensional linear systems. In: Chiasson, J., Loiseau, J.J. (eds.) Appl. of Time Delay Systems. LNCIS, vol.\u00a0352, pp. 233\u2013264. Springer, Heidelberg (2007), http:\/\/wwwb.math.rwth-aachen.de\/OreModules","DOI":"10.1007\/978-3-540-49556-7_15"},{"key":"2_CR35","doi-asserted-by":"publisher","first-page":"187","DOI":"10.1006\/jsco.1998.0207","volume":"26","author":"F. Chyzak","year":"1998","unstructured":"Chyzak, F., Salvy, B.: Non-commutative elimination in Ore algebras proves multivariate identities. J. Symbolic Comput.\u00a026, 187\u2013227 (1998), http:\/\/algo.inria.fr\/chyzak\/mgfun.html","journal-title":"J. Symbolic Comput."},{"key":"2_CR36","doi-asserted-by":"publisher","first-page":"324","DOI":"10.1016\/j.laa.2007.07.008","volume":"428","author":"T. Cluzeau","year":"2008","unstructured":"Cluzeau, T., Quadrat, A.: Factoring and decomposing a class of linear functional systems. Linear Algebra Appl.\u00a0428, 324\u2013381 (2008)","journal-title":"Linear Algebra Appl."},{"key":"2_CR37","doi-asserted-by":"crossref","unstructured":"Cluzeau, T., Quadrat, A.: OreMorphisms: A homological algebraic package for factoring, reducing and decomposing linear functional systems. In: Loiseau, J.J., Michiels, W., Niculescu, S.-I., Sipahi, R. (eds.) Topics in Time Delay Systems. LNCIS, vol.\u00a0388, pp. 179\u2013194. Springer, Heidelberg (2009)","DOI":"10.1007\/978-3-642-02897-7_16"},{"key":"2_CR38","unstructured":"Cohn, P.M.: Free rings and their relations. Academic Press, London (1971)"},{"key":"2_CR39","unstructured":"Davies, P., Cheng, H., Labahn, G.: Computing Popov form of general Ore polynomial matrices. In: Proceedings of the Milestones in Computer Algebra (MICA) Conference, pp. 149\u2013156 (2008), http:\/\/www.cs.uleth.ca\/~cheng\/software\/"},{"key":"2_CR40","doi-asserted-by":"crossref","unstructured":"Dixmier, J.: Enveloping algebras. North-Holland, Amsterdam (1977)","DOI":"10.1515\/9783112765111"},{"key":"2_CR41","unstructured":"Foldenauer, A.C.: Gr\u00f6bner Bases for Bimodules and its Applications: Jacobson normal form in centerless Ore extensions and Gr\u00f6bner Basis theory for Bimodules in G-algebras. Diploma thesis, Univ. Aachen (2012)"},{"key":"2_CR42","unstructured":"Galligo, A.: Algorithmes de calcul de base standards (1983) (preprint)"},{"key":"2_CR43","doi-asserted-by":"publisher","first-page":"215","DOI":"10.1016\/j.nima.2005.11.171","volume":"559","author":"V.P. Gerdt","year":"2006","unstructured":"Gerdt, V.P., Robertz, D.: A Maple package for computing Gr\u00f6bner bases for linear recurrence relations. Nuclear Instruments and Methods in Physics Research Section A\u00a0559, 215\u2013219 (2006), http:\/\/arxiv.org\/abs\/cs\/0509070","journal-title":"Nuclear Instruments and Methods in Physics Research Section A"},{"key":"2_CR44","doi-asserted-by":"publisher","first-page":"463","DOI":"10.1006\/jsco.1998.0224","volume":"26","author":"M. Giesbrecht","year":"1998","unstructured":"Giesbrecht, M.: Factoring in skew-polynomial rings over finite fields. J. Symbolic Comput.\u00a026, 463\u2013486 (1998)","journal-title":"J. Symbolic Comput."},{"key":"2_CR45","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"117","DOI":"10.1007\/978-3-642-32973-9_10","volume-title":"Computer Algebra in Scientific Computing","author":"M. Giesbrecht","year":"2012","unstructured":"Giesbrecht, M., Heinle, A.: A polynomial-time algorithm for the Jacobson form of a matrix of Ore polynomials. In: Gerdt, V.P., Koepf, W., Mayr, E.W., Vorozhtsov, E.V. (eds.) CASC 2012. LNCS, vol.\u00a07442, pp. 117\u2013128. Springer, Heidelberg (2012)"},{"key":"2_CR46","doi-asserted-by":"crossref","unstructured":"Giesbrecht, M., Zhang, Y.: Factoring and Decomposing Ore Polynomials over $\\mathbb{F}_q(t)$. In: Proceedings of the 2003 International Symposium on Symbolic and Algebraic Computation (ISSAC 2003), pp. 127\u2013134. ACM Press (2003)","DOI":"10.1145\/860854.860888"},{"key":"2_CR47","doi-asserted-by":"publisher","first-page":"183","DOI":"10.1023\/B:ACAP.0000027534.61242.09","volume":"82","author":"H. Gluesing-Luerssen","year":"2004","unstructured":"Gluesing-Luerssen, H., Schmale, W.: On cyclic convolutional codes. Acta Appl. Math.\u00a082, 183\u2013237 (2004)","journal-title":"Acta Appl. Math."},{"key":"2_CR48","doi-asserted-by":"publisher","first-page":"155","DOI":"10.1017\/S0013091500020083","volume":"52","author":"J. G\u00f3mez-Torrecillas","year":"1999","unstructured":"G\u00f3mez-Torrecillas, J.: Gelfand-Kirillov dimension of multi-filtered algebras. Proc. Edinburgh Math. Soc.\u00a052, 155\u2013168 (1999)","journal-title":"Proc. Edinburgh Math. Soc."},{"key":"2_CR49","first-page":"493","volume":"2","author":"J. G\u00f3mez-Torrecillas","year":"2001","unstructured":"G\u00f3mez-Torrecillas, J.: Regularidad de las \u00e1lgebras envolventes cuantizadas. Actas del Encuentro de Matem\u00e1ticos Andaluces\u00a02, 493\u2013500 (2001)","journal-title":"Actas del Encuentro de Matem\u00e1ticos Andaluces"},{"key":"2_CR50","doi-asserted-by":"publisher","first-page":"370","DOI":"10.1112\/S0024610700001083","volume":"62","author":"J. G\u00f3mez-Torrecillas","year":"2000","unstructured":"G\u00f3mez-Torrecillas, J., Lenagan, T.H.: Poincar\u00e9 series of multi-filtered algebras and partitivity. J. London Math. Soc.\u00a062, 370\u2013380 (2000)","journal-title":"J. London Math. Soc."},{"key":"2_CR51","doi-asserted-by":"publisher","first-page":"35","DOI":"10.1023\/B:ALGE.0000019384.36800.fa","volume":"7","author":"J. G\u00f3mez-Torrecillas","year":"2004","unstructured":"G\u00f3mez-Torrecillas, J., Lobillo, F.J.: Auslander-Regular and Cohen-Macaulay Quantum Groups. Algebras Repr. Theory\u00a07, 35\u201342 (2004)","journal-title":"Algebras Repr. Theory"},{"key":"2_CR52","unstructured":"G\u00f3mez-Torrecillas, J., Lobillo, F.J., Navarro, G.: Computing the bound of an Ore polynomial. Applications to Factorization, http:\/\/arxiv.org\/abs\/1307.5529"},{"key":"2_CR53","unstructured":"Grayson, D., Stillman, M.: Macaulay 2, A software system for research in algebraic geometry (2013), http:\/\/www.math.uiuc.edu\/Macaulay2"},{"key":"2_CR54","doi-asserted-by":"crossref","unstructured":"Greuel, G.-M., Levandovskyy, V., Motsak, O., Sch\u00f6nemann, H.: Plural. A Singular 3.1 subsystem for computations with non-commutative polynomial algebras. Centre for Computer Algebra, TU Kaiserslautern (2010), http:\/\/www.singular.uni-kl.de","DOI":"10.1145\/1504347.1504377"},{"key":"2_CR55","unstructured":"Greuel, G.-M., Motsak, O., Sch\u00f6nemann, H.: Singular: SCA. A Singular 3.1 subsystem for computations with graded commutative algebras (2011), http:\/\/www.singular.uni-kl.de"},{"key":"2_CR56","first-page":"179","volume":"73","author":"D. Grigoriev","year":"2004","unstructured":"Grigoriev, D., Schwarz, F.: Factoring and solving linear partial differential equations. Computing\u00a073, 179\u2013197 (2004), http:\/\/www.alltypes.de\/","journal-title":"Computing"},{"key":"2_CR57","volume-title":"Algebras, Rings and Modules","author":"M. Hazewinkel","year":"2004","unstructured":"Hazewinkel, M., Gubareni, N., Kirichenko, V.V.: Algebras, Rings and Modules, vol.\u00a01. Kluwer Academic Publishers, Dordrecht (2004)"},{"key":"2_CR58","unstructured":"Heinle, A., Levandovskyy, V.: ncfactor.lib. A Singular 3.1 a library for factorization in some non-commutative algebras (2013), http:\/\/www.singular.uni-kl.de"},{"key":"2_CR59","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4684-9936-0","volume-title":"A course in Homological Algebra","author":"P.J. Hilton","year":"1971","unstructured":"Hilton, P.J., Stammbach, U.: A course in Homological Algebra. Springer, New York (1971)"},{"key":"2_CR60","doi-asserted-by":"publisher","DOI":"10.1090\/surv\/002","volume-title":"The Theory of Rings","author":"N. Jacobson","year":"1943","unstructured":"Jacobson, N.: The Theory of Rings. AMS, Providence (1943)"},{"key":"2_CR61","volume-title":"Basic Algebra. II","author":"N. Jacobson","year":"1980","unstructured":"Jacobson, N.: Basic Algebra. II. W. H. Freeman and Co., San Francisco (1980)"},{"key":"2_CR62","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-02429-0","volume-title":"Finite-Dimensional Division Algebras over Fields","author":"N. Jacobson","year":"1996","unstructured":"Jacobson, N.: Finite-Dimensional Division Algebras over Fields. Springer, New York (1996)"},{"key":"2_CR63","first-page":"231","volume":"6","author":"A. Kandri-Rody","year":"1990","unstructured":"Kandri-Rody, A., Weispfenning, V.: Non-commutative Gr\u00f6bner bases in algebras of solvable type. J. Symb. Comp.\u00a06, 231\u2013248 (1990)","journal-title":"J. Symb. Comp."},{"key":"2_CR64","unstructured":"Kauers, M., Jaroschek, M., Johansson, F.: Ore polynomials in Sage (2013), http:\/\/arxiv.org\/abs\/1306.4263"},{"key":"2_CR65","unstructured":"Koutschan, C.: HolonomicFunctions (user\u2019s guide). Technical report, Technical report no. 10-01 in RISC Report Series, University of Linz, Austria (2010), http:\/\/www.risc.jku.at\/research\/combinat\/software\/ergosum\/RISC\/HolonomicFunctions.html"},{"key":"2_CR66","doi-asserted-by":"crossref","unstructured":"Krause, G.R., Lenagan, T.H.: Growth of Algebras and Gelfand-Kirillov Dimension, Revised edn. A.M.S, Rhode Island (2000)","DOI":"10.1090\/gsm\/022"},{"key":"2_CR67","unstructured":"Kredel, H.: Solvable Polynomial Rings. Verlag Shaker, Aachen (1993)"},{"key":"2_CR68","unstructured":"Kredel, H., Pesch, M.: MAS, modula-2 algebra system (1998), http:\/\/krum.rz.uni-mannheim.de\/mas.html"},{"key":"2_CR69","doi-asserted-by":"crossref","unstructured":"Lassner, W.: An extension of Buchberger\u2019s algorithm and calculations in enveloping fields of Lie algebras. In: Proc. EUROCAL 1985, Linz 1985. LNCS, vol.\u00a0204, pp. 99\u2013115 (1985)","DOI":"10.1007\/3-540-15984-3_243"},{"key":"2_CR70","unstructured":"Lejeune-Jalabert, M.: Effectivit\u00e9 des calculs polynomiaux, Cours de D.E.A., Univ. Gr\u00e9noble (1984\u20131985)"},{"key":"2_CR71","first-page":"321","volume":"2","author":"A. Leroy","year":"1995","unstructured":"Leroy, A.: Pseudo linear transformations and evaluation in Ore extensions. Bull. Belg. Math. Soc.\u00a02, 321\u2013347 (1995)","journal-title":"Bull. Belg. Math. Soc."},{"key":"2_CR72","unstructured":"Levandovskyy, V.: Non-commutative Computer Algebra for Polynomial Algebras: Gr\u00f6bner Bases, Applications and Implementation, Ph. D. Thesis, Univ. Kaiserslautern (2005), http:\/\/kluedo.ub.uni-kl.de\/volltexte\/2005\/1883\/"},{"key":"2_CR73","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"144","DOI":"10.1007\/11832225_13","volume-title":"Mathematical Software - ICMS 2006","author":"V. Levandovskyy","year":"2006","unstructured":"Levandovskyy, V.: PLURAL, a non-commutative extension of SINGULAR: past, present and future. In: Iglesias, A., Takayama, N. (eds.) ICMS 2006. LNCS, vol.\u00a04151, pp. 144\u2013157. Springer, Heidelberg (2006)"},{"key":"2_CR74","doi-asserted-by":"publisher","first-page":"1214","DOI":"10.1016\/j.jsc.2011.12.042","volume":"47","author":"V. Levandovskyy","year":"2012","unstructured":"Levandovskyy, V., Schindelar, K.: Fraction-free algorithm for the computation of diagonal forms matrices over Ore domains using Gr\u00f6bner bases. J. Symbolic Comput.\u00a047, 1214\u20131232 (2012)","journal-title":"J. Symbolic Comput."},{"key":"2_CR75","doi-asserted-by":"publisher","first-page":"176","DOI":"10.1145\/860854.860895","volume-title":"Proceedings of the 2003 International Symposium on Symbolic and Algebraic Computation","author":"V. Levandovskyy","year":"2003","unstructured":"Levandovskyy, V., Sch\u00f6nemann, H.: PLURAL \u2014 a computer algebra system for noncommutative polynomial algebras. In: Proceedings of the 2003 International Symposium on Symbolic and Algebraic Computation, pp. 176\u2013183. ACM, New York (2003)"},{"key":"2_CR76","first-page":"50","volume":"39","author":"O. Lezama","year":"2011","unstructured":"Lezama, O., Gallego, C.: Gr\u00f6bner bases for ideals of sigma-PBW extensions. Comm. Algebra\u00a039, 50\u201375 (2011)","journal-title":"Comm. Algebra"},{"key":"2_CR77","unstructured":"Lezama, O., Reyes, A.: Some homological properties of skew PBW extensions, http:\/\/arxiv.org\/abs\/1310.6639"},{"key":"2_CR78","unstructured":"Lobillo, F.J.: M\u00e9todos Algebraicos y Efectivos en Grupos Cu\u00e1nticos, Tesis doctoral, Universidad de Granada (1998)"},{"key":"2_CR79","unstructured":"Lorenz, M.: Gelfand-Kirillov dimension and Poincar\u00e9 series, Cuadernos de \u00c1lgebra 7, Universidad de Granada (1988)"},{"key":"2_CR80","unstructured":"McConnell, J.C., Robson, J.C.: Noncommutative noetherian ring. Wiley Interscience, New York (1988)"},{"key":"2_CR81","doi-asserted-by":"publisher","first-page":"197","DOI":"10.1016\/0021-8693(89)90301-3","volume":"125","author":"J.C. McConnell","year":"1989","unstructured":"McConnell, J.C., Stafford, J.: Gelfand-Kirillov dimension and associated graded modules. J. Algebra\u00a0125, 197\u2013214 (1989)","journal-title":"J. Algebra"},{"key":"2_CR82","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 non-commutative Gr\u00f6bner bases. Theoret. Comput. Sci.\u00a0134, 131\u2013173 (1994)","journal-title":"Theoret. Comput. Sci."},{"key":"2_CR83","doi-asserted-by":"publisher","first-page":"183","DOI":"10.1016\/S0747-7171(88)80042-7","volume":"6","author":"T. Mora","year":"1988","unstructured":"Mora, T., Robbiano, L.: The Gr\u00f6bner fan of an ideal. J. Symbolic Comput.\u00a06, 183\u2013208 (1988)","journal-title":"J. Symbolic Comput."},{"key":"2_CR84","unstructured":"Noro, M., Shimoyama, T., Takeshima, T.: Risa\/Asir, an open source general computer algebra system (2012), http:\/\/www.math.kobe-u.ac.jp\/Asir"},{"key":"2_CR85","doi-asserted-by":"publisher","first-page":"480","DOI":"10.2307\/1968173","volume":"34","author":"\u00d8. Ore","year":"1933","unstructured":"Ore, \u00d8.: Theory of non-commutative polynomials. Ann. Math.\u00a034, 480\u2013508 (1933)","journal-title":"Ann. Math."},{"key":"2_CR86","doi-asserted-by":"publisher","first-page":"27","DOI":"10.1007\/s10440-012-9791-2","volume":"127","author":"A. Quadrat","year":"2013","unstructured":"Quadrat, A.: Grade Filtration of Linear Functional Systems. Acta Appl. Math.\u00a0127, 27\u201386 (2013)","journal-title":"Acta Appl. Math."},{"key":"2_CR87","doi-asserted-by":"publisher","first-page":"139","DOI":"10.1016\/S0747-7171(86)80019-0","volume":"2","author":"L. Robbiano","year":"1986","unstructured":"Robbiano, L.: On the theory of graded structures. J. Symbolic Comput.\u00a02, 139\u2013186 (1986)","journal-title":"J. Symbolic Comput."},{"key":"2_CR88","doi-asserted-by":"crossref","first-page":"139","DOI":"10.1515\/9783110922752.139","volume-title":"Gr\u00f6bner Bases in Symbolic Analysis","author":"D. Robertz","year":"2007","unstructured":"Robertz, D.: Janet Bases and Applications. In: Rosenkranz, M., Wang, D. (eds.) Gr\u00f6bner Bases in Symbolic Analysis, pp. 139\u2013168. de Gruyter, Berlin (2007), http:\/\/wwwb.math.rwth-aachen.de\/Janet\/janetore.html"},{"key":"2_CR89","doi-asserted-by":"crossref","unstructured":"R\u00f3nyai, L.: Simple algebras are difficult. In: Proceedings of the Nineteenth Annual ACM Symposium on Theory of Computing, STOC 1987, pp. 398\u2013408. ACM (1987)","DOI":"10.1145\/28395.28438"},{"key":"2_CR90","doi-asserted-by":"publisher","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":"2_CR91","unstructured":"Schindelar, K., Levandovskyy, V.: A Singular 3.1 library with algorithms for Smith and Jacobson normal forms jacobson.lib. (2009), http:\/\/www.singular.uni-kl.de"},{"key":"2_CR92","unstructured":"Schreyer, F.: Die Berechnung von Syzygien mit dem verallgemeinerten Weierstrachen Divisionsatz, Diplomatbeit. Universit\u00e4t Hamburg (1980)"},{"key":"2_CR93","doi-asserted-by":"publisher","first-page":"77","DOI":"10.1007\/BF01191378","volume":"7","author":"M.F. Singer","year":"1996","unstructured":"Singer, M.F.: Testing reducibility of linear differential operators: A group theoretic perspective. Appl. Algebra Eng. Commun. Comput.\u00a07, 77\u2013104 (1996)","journal-title":"Appl. Algebra Eng. Commun. Comput."},{"key":"2_CR94","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-66066-5","volume-title":"Rings of Quotients","author":"B. Strenstr\u00f6m","year":"1975","unstructured":"Strenstr\u00f6m, B.: Rings of Quotients. Springer, Berlin (1975)"},{"key":"2_CR95","unstructured":"Takayama, N.: kan\/sm1, a Gr\u00f6bner engine for the ring of differential and difference operators (2003), http:\/\/www.math.kobe-u.ac.jp\/KAN\/index.html"},{"key":"2_CR96","unstructured":"Tsai, H., Leykin, A.: D-modules package for Macaulay 2 \u2013 algorithms for D\u2013modules (2006), http:\/\/people.math.gatech.edu\/~aleykin3\/Dmodules\/"},{"key":"2_CR97","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-55750-7","volume-title":"Galois Theory of Linear Differential Equations","author":"M. Van der Put","year":"2003","unstructured":"Van der Put, M., Singer, M.F.: Galois Theory of Linear Differential Equations. Springer, New York (2003)"},{"key":"2_CR98","doi-asserted-by":"publisher","first-page":"537","DOI":"10.1006\/jsco.1997.0151","volume":"24","author":"M. Van Hoeij","year":"1997","unstructured":"Van Hoeij, M.: Factorization of Differential Operators with Rational Functions Coefficients. J. Symbolic Comput.\u00a024, 537\u2013561 (1997)","journal-title":"J. Symbolic Comput."},{"key":"2_CR99","series-title":"LNCS","first-page":"408","volume-title":"Proceedings of AAECC 5","author":"V. Weispfenning","year":"1987","unstructured":"Weispfenning, V.: Constructing universal Gr\u00f6bner bases. In: Huguet, L., Poli, A. (eds.) Proceedings of AAECC 5. LNCS, vol.\u00a0356, pp. 408\u2013417. Springer, Heidelberg (1987)"}],"container-title":["Lecture Notes in Computer Science","Algebraic and Algorithmic Aspects of Differential and Integral Operators"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-54479-8_2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,1]],"date-time":"2025-05-01T22:45:50Z","timestamp":1746139550000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-642-54479-8_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783642544781","9783642544798"],"references-count":99,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-54479-8_2","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2014]]}}}