Skip to content

Which String Vibrations Become Which Generations on the Dwork Quintic, release 1.0.2

Choose a tag to compare

View all tags
@github-actions github-actions released this 19 Oct 20:09
v1.0.2
8045ccd
This commit was created on GitHub.com and signed with GitHub’s verified signature.
GPG key ID: B5690EEEBB952194
Verified
Learn about vigilant mode.

The paper now cites its archive by the Zenodo version DOI of release 1.0.1, 10.5281/zenodo.23480492, together with the concept DOI 10.5281/zenodo.23480310 of all versions, and the citation file and the README list both. The master zip DworkGenerations_masterzipfinal2.zip is rebuilt from this release.

The mathematics, the 64 checks and the 11 Lean 4 theorems are those of release 1.0.0.

Assets: the PDF, the LaTeX source with the figures as PNG (tex.zip), and the arXiv package (tar.gz) with the checks, the engine record and the Lean file in anc/.

Assets 5
Loading