Note on the truncated generalizations of Gauss's square exponent theorem (Q1755470)

Gauss' Square Exponent Theorem asserts that \(\prod_{n\geq 1} \frac{1-q^n}{1+q^n}=\sum_{k=-\infty}^{\infty} (-1)^kq^{k^2}\). Much work has been done to find \textit{truncated versions} of this identity. The paper under review finds new truncated versions of this identity. Some multiple summation identities are verified through computer assisted proof using \texttt{Mathematica}.