REFERENCES
- Bergman , G. ( 1978 ). The diamond lemma for ring theory . Adv. Math. 29 : 178 – 218 .
- Buchberger , B. ( 1965 ). Ein Algorithmus zum Auffinden der baseselemente des Restklassenringes nach einem nulldimensionalen polynomideal. Ph.D. dissertation, University of Innsbruck, Austria .
- 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 .
- 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 .
- 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 .
- 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 .
- Cox , D. , Little , J. , O'Shea , D. ( 2007 ). Ideals, Varieties and Algorithms. , 3rd ed. New York : Springer-Verlag .
- Faugère , J.-C. , Perret , L. ( 2010 ). Efficient Computation of Gröbner Bases and Applications in Cryptography . Springer .
- 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 .
- 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 .
- Hadj Kacem , A. , Yengui , I. ( 2010 ). Dynamical Gröbner bases over Dedekind rings . J. Algebra 324 : 12 – 24 .
- Kapur , D. , Madlener , K. ( 1988 ). Construction of Gröbner bases in “special” rings. Manuscript presented at the Grĺobner bases workshop, Cornell .
- Kandri-Rody , A. , Weispfenning , V. ( 1987 ). Non-commutative Gröbner bases in algebras of solvable type . J. Symb. Comp. 6 ( 2/3 ): 371 – 388 .
- Mora , T. ( 1986 ). Gröbner bases for non-commutative polynomial rings . In: Proc. AAECC3. LNCS , Vol. 229 . Berlin , New York : Springer-Verlag .
- Mora , T. ( 1994 ). An introduction to commutative and noncommutative Gröbner bases . Theor. Comp. Sci. 134 : 131 – 173 .
- Yengui , I. ( 2006 ). Dynamical Gröbner bases . J. Algebra 301 : 447 – 458 .
- 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 .
- Communicated by A. Elduque.