TY  - RPRT
TI  - Sumterms, Summands, Sumtuples, and Sums and the Meta-arithmetic of Summation
AU  - Jan A. Bergstra
PY  - 2020
UR  - https://arxiv.org/abs/2009.08851
ID  - 2009.08851
ER  -