Skip to content

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

Choose a tag to compare

View all tags
@github-actions github-actions released this 19 Oct 17:27
v1.0.1
939db3b
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.0, 10.5281/zenodo.23480311, and the citation file and the README list that DOI and the concept DOI 10.5281/zenodo.23480310 of all versions. The repository also holds DworkGenerations_masterzipfinal2.zip, which collects the paper, its LaTeX source, the arXiv package and the full archive in one file.

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