Sumterms, Summands, Sumtuples, and Sums and the Meta-Arithmetic of Summation

DOI10.7561/SACS.2020.2.167MaRDI QIDQ5089617

Jan A. Bergstra

Publication date: 19 July 2022

Published in: Scientific Annals of Computer Science (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/2009.08851

zbMATH Keywords

splitting paradoxsumtermssumtuples

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

This page was built for publication: Sumterms, Summands, Sumtuples, and Sums and the Meta-Arithmetic of Summation