SimplifySum swMATH ID: 8444 Software Authors: Bailey, David H.; Borwein, Jonathan M.; Kaiser, Alexander D. Description: Automated simplification of large symbolic expressions. We present a set of algorithms for automated simplification of symbolic constants of the form ∑ i α i x i with α i rational and x i complex. The included algorithms, called SimplifySum and implemented in Mathematica, remove redundant terms, attempt to make terms and the full expression real, and remove terms using repeated application of the multipair PSLQ integer relation detection algorithm. Also included are facilities for making substitutions according to user-specified identities. We illustrate this toolset by giving some real-world examples of its usage, including one, for instance, where the tool reduced a symbolic expression of approximately 100 000 characters in size enough to enable manual manipulation to one with just four simple terms.2Available from https://github.com/alexkaiser/SimplifySum. Homepage: https://github.com/alexkaiser/SimplifySum Source Code: https://github.com/alexkaiser/SimplifySum Keywords: simplification; computer algebra systems; experimental mathematics; error correction Related Software: DLMF; ARPREC; GitHub; SumCracker; SageMath; REDUCE; Maxima; Mathematica; Maple Cited in: 2 Documents Cited by 3 Authors 2 Bailey, David Harold 2 Borwein, Jonathan Michael 1 Kaiser, Alexander D. Cited in 2 Serials 1 Journal of Approximation Theory 1 Journal of Symbolic Computation Cited in 2 Fields 1 Number theory (11-XX) 1 Computer science (68-XX) Citations by Year