Ruzsa’s genus-one problem
log in with GitHub
← witness #1263
Commentary history
1 edit.
Yongxi (Aaron) Lin · 2026-08-07 08:55:02 UTC
Exhaustive branch-and-bound search (with translation symmetry fixing 0 ∈ A); proven optimal for N=130.
Yongxi (Aaron) Lin · 2026-08-07 08:55:02 UTC