In order to appreciate how good we as mathematicians and scientists have it
today, with extremely fast hardware and lots and lots of memory, as well as
with readily available high-level software, both for numeric and symbolic
computation, it may be a good idea to go back to the early days of electronic
computers and carefully examine, as a case study, a problem that was considered
a huge challenge back then, and compare notes. We chose C.L. Pekeris' 1958
seminal work on the ground state energies of two-electron atoms.
In this note we reinvestigate the task of computing creative telescoping
relations in differential-difference operator algebras. Our approach is based
on an ansatz that explicitly includes the denominators of the delta parts. We
contribute several ideas of how to make an implementation of this approach
reasonably fast and provide such an implementation. A selection of examples
shows that it can be superior to existing methods by a large factor.
The conjecture that the orbit-counting generating function for totally
symmetric plane partitions can be written as an explicit product-formula, has
been stated independently by George Andrews and David Robbins around 1983. We
present a proof of this long-standing conjecture.