Euler's pentagonal number theorem, two independent proofs, and the Jacobi triple product

Source: url:https://viazovska.github.io/PentagonalNumberTheorem Authors: Jonathan Conrad, Paula Muermann, Maryna Viazovska Status: verified Main declarations: PentagonalNumberTheorem.Franklin.euler_pentagonal_number_theorem_packaged Tags: number-theory, partitions, q-series, pentagonal-number-theorem, jacobi-triple-product MSC: 11P81, 11P84, 05A17, 05A19, 33D15