You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Exact-arithmetic computational study of the unit-square four-distance problem (rational distances to all four corners, Guy UPINT D19): K2,2 search, slope closure, Sage Mordell-Weil quartic fibers, and a theorem-grade filter stack.
Byte-exact theorems on the Fermat quartic fourfold lattice — from a run at the unbeaten dimension-128 sphere-packing record. Keystone: the Bridge Theorem (Hodge norm = geometric intersection form).