1. OreTools: A Computer Algebra Library for Univariate Ore Polynomial Rings;Abramov,2003
2. An extension of Buchberger's algorithm and calculations in enveloping fields of Lie algebras;Apel;J. Symb. Comput.,1988
3. On noncommutative finite factorization domains;Bell;Trans. Am. Math. Soc.,2016
4. Chebyshev expansions for solutions of linear differential equations;Benoit,2009
5. Algorithmic Methods in Non-commutative Algebra. Applications to Quantum Groups;Bueso,2003