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