The HolonomicFunctions package allows to deal with multivariate holonomic functions and sequences. For this purpose the package can compute annihilating ideals and execute closure properties (addition, multiplication, substitutions) for such functions. An annihilating ideal represents the set of linear differential equations, linear recurrences, q-difference equations, and mixed linear equations that a given function satisfies. Summation and integration of multivariate holonomic functions can be performed via creative telescoping. As subtasks, the following functionalities have been implemented in HolonomicFunctions: computations in Ore algebras (noncommutative polynomial arithmetic with mixed difference-differential operators), noncommutative Gröbner bases, and solving of coupled linear systems of differential or... Read more.

A suite of non-commutative algebra packages for Mathematica. Features include noncommutative inequalities, linear systems and control, semidefinite programming, computing non-commutative Groebner bases, etc.