Published October 5, 2026
| Version 0.1.0-candidate
Preprint
Open
An upper bound of 112 for the fourth strong power of the seven-cycle
Authors/Creators
Description
Unrefereed computer-assisted candidate proving 108 <= alpha(C7 strong power 4) <= 112. The exact value remains open. Complete portable certificates and scoped auxiliary results accompany the revised paper. Producer replay is not unaffiliated reproduction, formal verification or external peer review. Original prose and data: CC0-1.0; original code: MIT; inherited notices preserved.
Files
c7-upper112-revised-paper-and-evidence.zip
Files
(816.1 MB)
| Name | Size | |
|---|---|---|
|
md5:2e7e305f8ba8c939c3b1e725c0a542c5
|
815.6 MB | Preview Download |
|
md5:bd1e1e400c1aa7d8b4d83a61025f5037
|
52.9 kB | Preview Download |
|
md5:282ddef20093b3e81545c554554013d5
|
395.8 kB | Preview Download |
|
md5:0811bf919063daf4ac0e207ab3fae8ed
|
54.1 kB | Download |
|
md5:b9c2ef659d02095fa8cdb4f29d9bd7c6
|
336 Bytes | Download |
Additional details
Related works
- Is supplement to
- https://github.com/ipitchford/seven-cycle-fourth-power-upper112 (URL)