J. Apel and W. Lassner, An extension of Buchberger's algorithm and calculations in enveloping fields of Lie algebras, J. Symbolic Comput, vol.6, issue.2-3, pp.361-370, 1988.

T. Becker and V. Weispfenning, Gröbner Bases, 1993.

F. Chyzak and B. Salvy, Non-commutative elimination in Ore algebras proves multivariate identities, Journal of Symbolic Computation, vol.26, issue.2, pp.187-227, 1998.
URL : https://hal.archives-ouvertes.fr/hal-01069833

D. A. Cox, J. Little, and D. O'shea, Ideals, Varieties, and Algorithms, 2015.

P. Dumas, Asymptotic expansions for linear homogeneous divide-and-conquer recurrences, Theoretical Computer Science, vol.548, pp.25-53, 2014.
URL : https://hal.archives-ouvertes.fr/hal-01065761

J. Faugère, A new efficient algorithm for computing Gröbner bases (F4), Journal of Pure and Applied Algebra, vol.139, issue.1-3, pp.61-88, 1999.

A. Galligo, Some algorithmic questions on ideals of differential operators, Eurocal'85, vol.2, pp.413-421, 1985.

E. L. Green, An introduction to noncommutative Gröbner bases, Computational Algebra, vol.151, pp.167-190

. Dekker, Proc. of the 5th Mid-Atlantic Algebra Conference, 1993.

H. Hwang, S. Janson, and T. Tsai, Exact and asymptotic solutions of a divide-and-conquer recurrence dividing at half, ACM Transactions on Algorithms, vol.13, issue.4, pp.1-43, 2017.

A. Kandri-rody and V. Weispfenning, Noncommutative Gröbner bases in algebras of solvable type, Journal of Symbolic Computation, vol.9, issue.1, pp.1-26, 1990.

H. Kredel, Solvable Polynomial Rings. Reihe Mathematik. Shaker, 1993.

R. , L. Scala, and V. Levandovskyy, Skew polynomial rings, Gröbner bases and the letterplace embedding of the free associative algebra, J. Symbolic Comput, vol.48, pp.110-131, 2013.

D. Lazard, Gröbner bases, Gaussian elimination and resolution of systems of algebraic equations, Lecture Notes in Comput. Sci, pp.146-156, 1983.

V. Levandovskyy and H. Schönemann, Plural: a computer algebra system for noncommutative polynomial algebras, Proceedings of ISSAC'03, 2003.

E. L. Mansfield and A. Szanto, Elimination theory for differential difference polynomials, Proceedings of ISSAC'03, 2003.

F. Mora, Groebner bases for non-commutative polynomial rings, Algebraic Algorithms and Error-Correcting Codes, pp.353-362, 1986.

T. Mora, Standard bases and non-noetherianity: Non-commutative polynomial rings, Applicable Algebra, Error-Correcting Codes, Combinatorics and Computer Algebra, pp.98-109, 1988.

T. Mora, Groebner bases in non-commutative algebras, Proceedings of ISSAC'89, pp.150-161, 1989.

N. Takayama, Gröbner basis and the problem of contiguous relations, Japan Journal of Applied Mathematics, vol.6, issue.1, pp.147-160, 1989.

V. A. Ufnarovski?, On the use of graphs for computing a basis, growth and Hilbert series of associative algebras, Math. Sb, vol.68, issue.2, pp.417-428, 1991.

V. Weispfenning, Finite Gröbner bases in non-Noetherian skew polynomial rings, Proceedings of ISSAC'92, 1992.