Symbolic Summation
Hypergeometric Summation
 fastZeil, the Paule/Schorn implementation of Gosper's and Zeilberger's algorithm in Mathematica (by P. Paule, M. Schorn, and A. Riese).
 Zeilberger, a Maxima implementation of Gosper's and Zeilberger's algorithm (by F. Caruso).
 MultiSum, a Mathematica package for proving hypergeometric multisum identities (by K. Wegschaider and A. Riese).
qHypergeometric Summation
 qZeil, a Mathematica implementation of qanalogues of Gosper's and Zeilberger's algorithm (by A. Riese).
 Bibasic Telescope (pqTelescope), a Mathematica implementation of a generalization of Gosper's algorithm to bibasic hypergeometric summation (by A. Riese).
 qMultiSum, a Mathematica package for proving qhypergeometric multisum identities (by A. Riese).
MultiSummation in Difference Fields
 Sigma, a Mathematica package for discovering and proving multisum identities (by C. Schneider).
Symbolic Summation for Stirling Numbers
 Stirling, a Mathematica package for computing recurrence equations of sums involving Stirling numbers or Eulerian numbers (by M. Kauers).
Symbolic Summation and Integration for Holonomic Functions
 HolonomicFunctions, a Mathematica package for dealing with multivariate holonomic functions, including closure properties, summation, and integration (by C. Koutschan).
Sequences and Power Series
 Asymptotics, a Mathematica package for computing asymptotic series expansions of univariate holonomic sequences (by M. Kauers).
 Dependencies, a Mathematica package for computing algebraic relations of Cfinite sequences and multisequences (by M. Kauers and B. Zimmermann).
 Engel, a Mathematica implementation of qEngel Expansion (by B. Zimmermann).
 GeneratingFunctions, a Mathematica package for manipulations of univariate holonomic functions and sequences (by C. Mallinger).
 ore_algebra, a Sage package for doing computations with Ore operators (by M. Kauers, M. Jaroschek, F Johansson).
 qGeneratingFunctions, a Mathematica package for manipulations of univariate qholonomic functions and sequences (by C. Koutschan).
 Guess, a Mathematica package for guessing multivariate recurrence equations (by M. Kauers).
 RLangGFun, a Maple implementation of the inverse Schützenberger methodology (by C. Koutschan).
Special Function Algorithms for Indefinite Nested Sums and Integrals
 HarmonicSums, a Mathematica package for dealing with harmonic sums, generalized harmonic sums and cyclotomic sums and their related integral representations (by J. Ablinger).
Permutation Groups
 PermGroup, a Mathematica package for permutation groups, group actions and Polya theory (by T. Bayer).
Partition Analysis
 Omega, a Mathematica implementation of Partition Analysis (by A. Riese).
 GenOmega, a Mathematica implementation of GuoNiu Han's general Algorithm for MacMahon's Partition Analysis (by M. Wiesinger).
Difference/Differential Equations
 DiffTools, a Mathematica implementation of several algorithms for solving linear difference equations with polynomial coefficients (by C. Weixlbaumer).
 OreSys, a Mathematica implementation of several algorithms for uncoupling systems of linear Ore operator equations (by S. Gerhold).
 RatDiff, a Mathematica implementation of Mark van Hoeij's algorithm for finding rational solutions of linear difference equations (by A. Riese).
 SumCracker, a Mathematica implementation of several algorithms for identities and inequalities of special sequences, including summation problems (by M. Kauers).
Misc
 Singular, a Mathematica interface to the Singular system (by M. Kauers and V. Levandovskyy).
 ModularGroup, a Mathematica package providing basic algorithms and visualization routines related to the modular group, e.g. for drawing the tessellation of the upper halfplane (by T. Ponweiser).
 math4ti2, a Mathematica interface to the 4ti2. (by R. Hemmecke and S. Radu).
 RaduRK, a Mathematica implementation of Radu's RamanujanKolberg Algorithm (by N. Smoot)
