Research
Mathematics, with machine-checked proofs.
Papers
The Kernel Deficit Dominates Twice the Hull Deficit: A Sharp Strengthening of Nakano's Inequality
PreprintDakota Charles Baker · 25 August 2026 · arXiv:2608.25057 · math.MG
A sharp factor-of-two strengthening of Nakano's inequality, relating the area a polygon loses to its visibility kernel against the area missing from its convex hull. Both main theorems carry machine-checked Lean 4 proofs.
Code