Science ❯Mathematics ❯Applied Mathematics ❯Computer-Assisted Proofs
Jineon Baek's new proof refines the maximum area of a shape that can navigate a right-angled corner, pending peer review.
