Skip to content

Hilbert eight-point reducedness — unrefereed candidate v0.1.0

Pre-release
Pre-release

Choose a tag to compare

View all tags
@ipitchford ipitchford released this 07 Sep 12:30
v0.1.0-candidate
cae7304

Version 0.1.0-candidate

Version DOI: https://doi.org/10.5281/zenodo.22643443

GitHub release: https://github.com/ipitchford/hilbert-eight-points-reducedness/releases/tag/v0.1.0-candidate

Unrefereed, author-claimed complete computer-assisted proof. Manuscript and PDF retain their reviewed identities. Full evidence is in the ZIP asset, not the small Git checkout. See STATUS.md, ASSURANCE.md and PROVENANCE.md. No video or external review is asserted.

Assets 5
Loading