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 Rings and Fields
 Sigma, a Mathematica package for discovering and proving multisum identities (by C. Schneider).
 EvaluateMultiSums, a Mathematica package based on Sigma that tries to evaluate automatically multisums to expressions in terms of indefinite nested sums defined over (q)hypergeometric products (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).
 Guess, a Mathematica package for guessing multivariate recurrence equations (by M. Kauers).
 ore_algebra, a Sage package for doing computations with Ore operators (by M. Kauers, M. Jaroschek, F Johansson).
 PositiveSequence, a Mathematica package for showing positivity of univariate Cfinite and holonomic sequences (by Ph. Nuspl).
 qGeneratingFunctions, a Mathematica package for manipulations of univariate qholonomic functions and sequences (by C. Koutschan).
 rec_sequences, a SageMath packae to work with sequences satisfying linear recurrence equations (by Ph. Nuspl)
 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
 DrawFunDoms, a Mathematica package for drawing fundamental dmains for congruence subgroups in the modular Group SL2(ℤ) (by P. Kainberger).
 math4ti2, a Mathematica interface to the 4ti2. (by R. Hemmecke and S. Radu).
 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).
 QEta, a FriCAS package to compute with Dedekind eta functions (by R. Hemmecke).
 RaduRK, a Mathematica implementation of Radu's RamanujanKolberg Algorithm (by N. Smoot)
 Singular, a Mathematica interface to the Singular system (by M. Kauers and V. Levandovskyy).
