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.