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