# Packages¶

**Asymptotics**: A Mathematica package for computing asymptotic series expansions of univariate holonomic sequences**Dependencies**: A Mathematica package for computing algebraic relations of C-finite sequences and multi-sequences**Engel**: A Mathematica implementation of q-Engel Expansion**fastZeil**: The Paule/Schorn Implementation of Gosper’s and Zeilberger’s Algorithms**GeneratingFunctions**: A Mathematica package for manipulations of univariate holonomic functions and sequences**GenOmega**: A Mathematica implementation of Guo-Niu Han’s general Algorithm for MacMahon’s Partition Analysis**Guess**: A Mathematica package for guessing multivariate recurrence equations**HolonomicFunctions**: A Mathematica package for dealing with multivariate holonomic functions, including closure properties, summation, and integration**MultiSum**: A Mathematica package for proving hypergeometric multi-sum identities**Omega**: A Mathematica implementation of Partition Analysis**OreSys**: A Mathematica implementation of several algorithms for uncoupling systems of linear Ore operator equations**PositiveSequence**: A Mathematica package for showing positivity of univariate C-finite and holonomic sequences**pqTelescope**: A Mathematica implementation of a generalization of Gosper’s algorithm to bibasic hypergeometric summation**qGeneratingFunctions**: A Mathematica package for manipulations of univariate q-holonomic functions and sequences**qMultiSum**: A Mathematica package for proving q-hypergeometric multi-sum identities**qZeil**: A Mathematica implementation of q-analogues of Gosper’s and Zeilberger’s algorithm**qSimplify**: A Mathematica package for the simplification of q-expressions**Stirling**: A Mathematica package for computing recurrence equations of sums involving Stirling numbers or Eulerian numbers**SumCracker**: A Mathematica implementation of several algorithms for identities and inequalities of special sequences, including summation problems