{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,3]],"date-time":"2026-04-03T07:26:16Z","timestamp":1775201176883,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":11,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540167761","type":"print"},{"value":"9783540398554","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1986]]},"DOI":"10.1007\/3-540-16776-5_740","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T18:57:20Z","timestamp":1330196240000},"page":"353-362","source":"Crossref","is-referenced-by-count":46,"title":["Groebner bases for non-commutative polynomial rings"],"prefix":"10.1007","author":[{"given":"Ferdinando","family":"Mora","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,4]]},"reference":[{"key":"38_CR1","unstructured":"J.APEL,W.LASSNER An algorithm for calculations in enveloping fields of Lie Algebras, Proc.of the Conf. on Computer Algebra,Dubna (1985)"},{"key":"38_CR2","doi-asserted-by":"crossref","first-page":"178","DOI":"10.1016\/0001-8708(78)90010-5","volume":"29","author":"G.M. Bergman","year":"1978","unstructured":"G.M. BERGMAN The diamond lemma in ring theory, Adv.Math.29(1978),178\u2013218","journal-title":"Adv.Math."},{"key":"38_CR3","unstructured":"B.BUCHBERGER Dissertation,Univ.Innsbruck,1965"},{"key":"38_CR4","doi-asserted-by":"crossref","unstructured":"B.BUCHBERGER Gr\u00f6bner bases: an algorithmic method in polynomial ideal theory, in N.K.BOSE Ed. Recent trends in multidimensional system theory, Reidel (1985)","DOI":"10.1007\/978-94-009-5225-6"},{"key":"38_CR5","first-page":"3","volume":"72","author":"B. Buchberger","year":"1979","unstructured":"B. BUCHBERGER A criterion for detecting unnecessary reductions in the construction of Gr\u00f6bner bases, Proc.EUROSAM 79, L.N.Comp.Sci. 72 (1979),3\u201321","journal-title":"Proc.EUROSAM 79, L.N.Comp.Sci."},{"key":"38_CR6","doi-asserted-by":"crossref","unstructured":"A.GALLIGO Some algorithmic questions on ideals of differential operators, Proc. EUROCAL 85, L.N.Comp.Sci.","DOI":"10.1007\/3-540-15984-3_301"},{"key":"38_CR7","doi-asserted-by":"crossref","first-page":"109","DOI":"10.2307\/1970486","volume":"79","author":"H. Hironaka","year":"1964","unstructured":"H. HIRONAKA Resolution of singularities of an algebraic variety over a field of characteristic zero, Ann.Math. 79 (1964),109\u2013326","journal-title":"Ann.Math."},{"key":"38_CR8","first-page":"146","volume":"162","author":"D. Lazard","year":"1983","unstructured":"D. LAZARD Gr\u00f6bner bases,Gaussian elimination and resolution of systems of algebraic equations, Proc.EUROCAL 83, L.N.Comp.Sci. 162 (1983),146\u2013156","journal-title":"Proc.EUROCAL 83, L.N.Comp.Sci."},{"key":"38_CR9","unstructured":"H.M.MOELLER,F.MORA New constructive methods in classical ideal theory, to appear in J.Alg."},{"key":"38_CR10","unstructured":"L.ROBBIANO On the theory of graded structures, Report of Max-Planck-Institut, Bonn (1984)"},{"key":"38_CR11","doi-asserted-by":"crossref","unstructured":"F.WINKLER,B.BUCHBERGER A criterion for eliminating unnecessary reductions in the Knuth-Bendix algorithm, Proc.Coll.Algebra,Combinatorics and Logic in Comp. Sci. (1983), to appear in Coll.Math.Soc.J.Bolyai","DOI":"10.1145\/1089338.1089341"}],"container-title":["Lecture Notes in Computer Science","Algebraic Algorithms and Error-Correcting Codes"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-16776-5_740.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T20:11:24Z","timestamp":1605643884000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-16776-5_740"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1986]]},"ISBN":["9783540167761","9783540398554"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/3-540-16776-5_740","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[1986]]}}}