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. ,
Gröbner Bases, 1993. ,
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
Ideals, Varieties, and Algorithms, 2015. ,
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
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. ,
Some algorithmic questions on ideals of differential operators, Eurocal'85, vol.2, pp.413-421, 1985. ,
An introduction to noncommutative Gröbner bases, Computational Algebra, vol.151, pp.167-190 ,
, Proc. of the 5th Mid-Atlantic Algebra Conference, 1993.
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. ,
Noncommutative Gröbner bases in algebras of solvable type, Journal of Symbolic Computation, vol.9, issue.1, pp.1-26, 1990. ,
, Solvable Polynomial Rings. Reihe Mathematik. Shaker, 1993.
Skew polynomial rings, Gröbner bases and the letterplace embedding of the free associative algebra, J. Symbolic Comput, vol.48, pp.110-131, 2013. ,
Gröbner bases, Gaussian elimination and resolution of systems of algebraic equations, Lecture Notes in Comput. Sci, pp.146-156, 1983. ,
Plural: a computer algebra system for noncommutative polynomial algebras, Proceedings of ISSAC'03, 2003. ,
Elimination theory for differential difference polynomials, Proceedings of ISSAC'03, 2003. ,
Groebner bases for non-commutative polynomial rings, Algebraic Algorithms and Error-Correcting Codes, pp.353-362, 1986. ,
Standard bases and non-noetherianity: Non-commutative polynomial rings, Applicable Algebra, Error-Correcting Codes, Combinatorics and Computer Algebra, pp.98-109, 1988. ,
Groebner bases in non-commutative algebras, Proceedings of ISSAC'89, pp.150-161, 1989. ,
Gröbner basis and the problem of contiguous relations, Japan Journal of Applied Mathematics, vol.6, issue.1, pp.147-160, 1989. ,
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. ,
Finite Gröbner bases in non-Noetherian skew polynomial rings, Proceedings of ISSAC'92, 1992. ,