History


RISCErgoSum

RISCErgoSum is a collection of packages created at the Research Institute for Symbolic Computation (RISC), Linz, Austria. The included packages are: Asymptotics for computing asymptotic series expansions of univariate holonomic sequences; Dependencies for computing algebraic relations of C-finite sequences and multi-sequences; Engel is an implementation of q-Engel Expansion; fastZeil, the Paule/Schorn Implementation of Gosper’s and Zeilberger’s Algorithms; GeneratingFunctions for manipulations of univariate holonomic functions and sequences; GenOmega, Guo-Niu Han’s general Algorithm for MacMahon’s Partition Analysis; Guess for guessing multivariate recurrence equations; HolonomicFunctions for dealing with multivariate holonomic functions, including closure properties, summation, and integration; MultiSum for proving hypergeometric multi-sum identities; Omega for Partition Analysis; OreSys contains implementations of several algorithms for uncoupling systems of linear Ore operator equations; pqTelescope is an implementation of a generalization of Gosper’s algorithm to bibasic hypergeometric summation; qGeneratingFunctions for manipulations of univariate q-holonomic functions and sequences; qMultiSum for proving q-hypergeometric multi-sum identities; qZeil is an implementation of q-analogues of Gosper’s and Zeilberger’s algorithm; Stirling for computing recurrence equations of sums involving Stirling numbers or Eulerian numbers; SumCracker contains implementations of several algorithms for identities and inequalities of special sequences, including summation problems.

Submitted January 6, 2018 symbolic published


RISCErgoSum

RISCErgoSum is a collection of packages created at the Research Institute for Symbolic Computation (RISC), Linz, Austria. The included packages are: Asymptotics for computing asymptotic series expansions of univariate holonomic sequences; Dependencies for computing algebraic relations of C-finite sequences and multi-sequences; Engel is an implementation of q-Engel Expansion; fastZeil, the Paule/Schorn Implementation of Gosper’s and Zeilberger’s Algorithms; GeneratingFunctions for manipulations of univariate holonomic functions and sequences; GenOmega, Guo-Niu Han’s general Algorithm for MacMahon’s Partition Analysis; Guess for guessing multivariate recurrence equations; HolonomicFunctions for dealing with multivariate holonomic functions, including closure properties, summation, and integration; MultiSum for proving hypergeometric multi-sum identities; Omega for Partition Analysis; OreSys contains implementations of several algorithms for uncoupling systems of linear Ore operator equations; pqTelescope is an implementation of a generalization of Gosper’s algorithm to bibasic hypergeometric summation; qGeneratingFunctions for manipulations of univariate q-holonomic functions and sequences; qMultiSum for proving q-hypergeometric multi-sum identities; qZeil is an implementation of q-analogues of Gosper’s and Zeilberger’s algorithm; Stirling for computing recurrence equations of sums involving Stirling numbers or Eulerian numbers; SumCracker contains implementations of several algorithms for identities and inequalities of special sequences, including summation problems.

Submitted September 25, 2015 symbolic superseded