Noncommutative Gröbner Bases over Rings

REFERENCES

• Bergman , G. ( 1978 ). The diamond lemma for ring theory . Adv. Math. 29 : 178 – 218 .
   Web of Science ®Google Scholar
• Buchberger , B. ( 1965 ). Ein Algorithmus zum Auffinden der baseselemente des Restklassenringes nach einem nulldimensionalen polynomideal. Ph.D. dissertation, University of Innsbruck, Austria .
   Google Scholar
• Buchberger , B. ( 1965 ). An algorithm for finding a bases for the residue class ring of a zero-dimensional polynomial ideal (in German). Ph.D. dissertation, Univ. of Innsbruck, Austria, Math., Inst .
   Google Scholar
• Buchberger , B. ( 1984 ). A critical-pair/completion algorithm in reduction rings . In: Borger , E. , Hasenjaeger , G. , Rodding , D. , eds., Proc. Logic and Machines: Decision Problems and Complexity . LNCS , Vol. 171 . Springer , pp. 137 – 161 .
   Google Scholar
• Buchberger , B. ( 2006 ). An algorithm for finding the basis elements of the residue class ring of a zero dimensional polynomial ideal. (Ph.D. thesis, Bruno Buchberger, 1965). Journal of Symbolic Computation, 41, (3–4)(March–April): 475–511 .
   Google Scholar
• Cojocaru , S. , Ufnarovski , V. ( 1995 ). Noncommutative Gröbner bases, Hilbert series, Anick's Resolution and BERGMAN under MS-DOS . Computer Science Journal of Moldova 3 : 24 – 39 .
   Google Scholar
• Cox , D. , Little , J. , O'Shea , D. ( 2007 ). Ideals, Varieties and Algorithms. , 3rd ed. New York : Springer-Verlag .
   Google Scholar
• Faugère , J.-C. , Perret , L. ( 2010 ). Efficient Computation of Gröbner Bases and Applications in Cryptography . Springer .
   Google Scholar
• Green , E. ( 1998 ). An introduction to noncommutative Gröbner bases . In: Fisher , K. G. , ed., Computational Algebra . Lecture Notes in Pure and Applied Mathematics , Vol. 151 . New York : Dekker , pp. 167 – 190 .
   Google Scholar
• Green , E. ( 1999 ). Noncommutative Gröbner bases, and projective resolutions. Computational methods for representations of groups and algebras. Papers from the First Euroconference held at the University of Essen, Basel. Dräxler, P., Michler, G. O., Ringel, C. M., eds., no. 173 in Progress in Math., Basel, Switzerland: Birkhäuser Verlag, pp. 29–60 .
   Google Scholar
• Hadj Kacem , A. , Yengui , I. ( 2010 ). Dynamical Gröbner bases over Dedekind rings . J. Algebra 324 : 12 – 24 .
   Web of Science ®Google Scholar
• Kapur , D. , Madlener , K. ( 1988 ). Construction of Gröbner bases in “special” rings. Manuscript presented at the Grĺobner bases workshop, Cornell .
   Google Scholar
• Kandri-Rody , A. , Weispfenning , V. ( 1987 ). Non-commutative Gröbner bases in algebras of solvable type . J. Symb. Comp. 6 ( 2/3 ): 371 – 388 .
   Google Scholar
• Mora , T. ( 1986 ). Gröbner bases for non-commutative polynomial rings . In: Proc. AAECC3. LNCS , Vol. 229 . Berlin , New York : Springer-Verlag .
   Google Scholar
• Mora , T. ( 1994 ). An introduction to commutative and noncommutative Gröbner bases . Theor. Comp. Sci. 134 : 131 – 173 .
   Web of Science ®Google Scholar
• Yengui , I. ( 2006 ). Dynamical Gröbner bases . J. Algebra 301 : 447 – 458 .
   Web of Science ®Google Scholar
• Yengui , I. Corrigendum to “Dynamical Gröbner bases”. [J. Algebra 301(2) (2006) pp. 447–458] & to “Dynamical Gröbner bases over Dedekind rings”. [J. Algebra 324(1) (2010) pp. 12–24]. J. Algebra 339 (2011) pp. 370–375 .
   Google Scholar
• Communicated by A. Elduque.
   Google Scholar