Published April 9, 2026
| Version n3-n14
Dataset
Open
Computational Verification of the Erdős-Herzog-Piranian Conjecture for Degrees 3 ≤ n ≤ 14
Description
IEEE 1788 interval arithmetic certified branch-and-bound verification of the EHP conjecture for monic polynomials of degrees 3 through 14. Includes preprint PDF, all result JSON files with SHA-256 checksums, and closed-form formula L(z^n-1) = 2^(1/n) sqrt(pi) Gamma(1/(2n)) / Gamma(1/(2n)+1/2). Code: https://github.com/MendozaLab/erdos-experiments
Files
EHP_GENERAL_SUMMARY.json
Files
(326.9 kB)
| Name | Size | Download all |
|---|---|---|
|
md5:4539398948d52e5f67dac5998366d156
|
5.1 kB | Preview Download |
|
md5:4d7f20da7bf232ff38a19af5ec344897
|
1.1 kB | Preview Download |
|
md5:3c6d705344095fa923908f5b9add523d
|
1.6 kB | Preview Download |
|
md5:335d330298b6dc0d92f21e69acdbc02d
|
2.0 kB | Preview Download |
|
md5:80f6d58f02b1360e68c871f747d2079f
|
961 Bytes | Preview Download |
|
md5:85dc8b301b3db3722e9b473a7ea64bf0
|
1.4 kB | Preview Download |
|
md5:bc52633f136f1870b8b197b62dd76093
|
763 Bytes | Preview Download |
|
md5:1e70d3ce7484647d112896ddf7140da6
|
1.1 kB | Preview Download |
|
md5:61218c08178f433d42f3caaab58f4882
|
1.2 kB | Preview Download |
|
md5:0060efd54b52a3e6eaa9aa0551834d09
|
1.2 kB | Preview Download |
|
md5:df89acf09ab734fb7d755975046dfce3
|
1.3 kB | Preview Download |
|
md5:463e9d5dd00bc16a71de63d0d0ac3138
|
1.4 kB | Preview Download |
|
md5:dacf9eafca6cab002e490ae62139eeae
|
1.5 kB | Preview Download |
|
md5:136b7b8b18474d48e97f45f4fc3caf66
|
64 Bytes | Download |
|
md5:4cff1bdac81e0da34a81bbe5660bda8a
|
616 Bytes | Preview Download |
|
md5:f0cd579426dc7e2ffd1e09e5c69d50ce
|
64 Bytes | Download |
|
md5:e6f6a578c46b0f91d34a828c1f0e60b8
|
676 Bytes | Preview Download |
|
md5:7c86fe3e15c75a8edc670b8bbc5b5f4a
|
64 Bytes | Download |
|
md5:0385b975c8eeb6c6aa855c2ecfafd387
|
681 Bytes | Preview Download |
|
md5:aba73679dc4c97a9f3d36b343dedf8bb
|
64 Bytes | Download |
|
md5:0723b1ee7736897c548e34d454109f18
|
683 Bytes | Preview Download |
|
md5:4ab59840afe901cf13f1175a5604790c
|
64 Bytes | Download |
|
md5:ac324c9599903bcac7663bb23c1f7440
|
402 Bytes | Preview Download |
|
md5:889b8279b1737d31c7c42f6fc808ec13
|
64 Bytes | Download |
|
md5:90e3d10ddd13f5aa9d745c5157625e5c
|
693 Bytes | Preview Download |
|
md5:686571a52abccd7e8ef2e061f8147262
|
64 Bytes | Download |
|
md5:90f68d55ab89ae85b20d63991d1f1caa
|
654 Bytes | Preview Download |
|
md5:eef2acc57c9f06f3c9a50d650f61b0bd
|
64 Bytes | Download |
|
md5:dc6e099b0e78c7867a866f37bf54f2af
|
659 Bytes | Preview Download |
|
md5:32469c3b827bf1ec031210dc63fe5f76
|
64 Bytes | Download |
|
md5:0886c5e70f941cf2633891ce9726578a
|
678 Bytes | Preview Download |
|
md5:2336d8c488a2160e33b678510d15777a
|
64 Bytes | Download |
|
md5:a9bf789aa58dd5a9dfb335a474aed88e
|
661 Bytes | Preview Download |
|
md5:b31df47dde98c47c6e29c64dcf82e18d
|
64 Bytes | Download |
|
md5:d34efd4160d0b2575e9474d71723b016
|
665 Bytes | Preview Download |
|
md5:9919dd08a3487d2d720362a3c223d119
|
64 Bytes | Download |
|
md5:30542bdb6093e7a13f6daa8a56d1214d
|
666 Bytes | Preview Download |
|
md5:4f124aa3cf625a4051773451ea1a9acd
|
64 Bytes | Download |
|
md5:e6e634c7ffb619bd055960dff1ec29d8
|
667 Bytes | Preview Download |
|
md5:541e6f637784867bc557056b38174877
|
64 Bytes | Download |
|
md5:55818f7a310e1adc4aeefd2a136301d3
|
297.0 kB | Preview Download |